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