let
printerror s =
Printf
.printf
"# Error: %s\n"
s;
flush stdout