method get_map global_id = (try Hashtbl.find mem_map global_id with Not_found -> raise (Variable_has_no_mmap global_id))