let prerr_value_table () =
let prerr_value_couple mmap_id if_value =
prerr_string "["; prerr_int mmap_id;
prerr_string ":"; Interface.prerr_ground_if_value if_value;
prerr_string "]"
in
prerr_endline "% VALUE TABLE: [map_num:if_value]";
let table = value_table#get_tab in
Hashtbl.iter prerr_value_couple table;
prerr_newline()