let print_debug (str : string) : unit =
  print_string str;
  flush stdout