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