let prerr_player_to_role () =
  prerr_endline "% PLAYER TO ROLE list:  [player_id:role_id]";
  List.iter
    (fun (a,b) ->
      prerr_string "[";
      prerr_int a;
      prerr_string ":";
      prerr_int b;
      prerr_string "]")
    !Globals.player_to_role;
  prerr_newline()