let print_endline s = Pervasives.print_endline s; flush stdout