let prerr_mem_map () =
  prerr_endline "% MEMORY MAP:  [var_num:map_num]";
  Hashtbl.iter
    (fun i j ->
      prerr_string "["; prerr_int i;
      prerr_string ":"; prerr_int j;
      prerr_string "]")
    memory_map#get_tab;
  prerr_newline()