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