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()