let dump () =
  prerr_newline();
  prerr_endline "%%% Dumping the tables: ";
  prerr_string_id(); 
  prerr_id_string();  
  prerr_type_table();  
  prerr_global_ids ();  
  prerr_mem_map (); 
  prerr_value_table ();
  prerr_player_to_role()