let print_char c = Pervasives.print_char c; flush stdout