let exitf message = fprintf stderr "BUG: %s.\n" message; exit 1