method map_new_var global_id =
    (map_number <- map_number + 1;
     Hashtbl.add mem_map global_id map_number;
     map_number)