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