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