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