implementation module Domino

import StdEnv