let
report_error e =
prerr_endline (string_of_error e);
exit 2