let print_newline () =  Pervasives.print_newline (); flush stdout