implementation module Othello import StdEnv