object
  val mutable map_number : int
  val mem_map : (int, int) Hashtbl.t
  method check_map_var : int -> unit
  method get_map : int -> int
  method get_tab : (int, int) Hashtbl.t
  method map_new_var : int -> int
  method map_var_to : int -> int -> unit
end