let print_string s = Pervasives.print_string s; flush stdout