sig
  type value
  val print_value : Pervasives.out_channel -> Machine.value -> unit
  type env = Machine.value list
  val exec : Machine.env -> Code.code -> Machine.value
end