let
print_char c =
Pervasives
.print_char c; flush stdout