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