-/* variable-argument error function. */
-
-void barf(char *s, ...)
-{
- va_list ap;
- va_start(ap,s);
- /* don't fflush(stdout); WORKAROUND bug in Linux glibc */
- if (prog_argv != NULL && prog_argv[0] != NULL) {
- fprintf(stderr, "%s: fatal error: ", prog_argv[0]);
- } else {
- fprintf(stderr, "fatal error: ");
- }
- vfprintf(stderr, s, ap);
- fprintf(stderr, "\n");
- fflush(stderr);
- stg_exit(EXIT_INTERNAL_ERROR);
-}
-
-void prog_belch(char *s, ...)
-{
- va_list ap;
- va_start(ap,s);
- /* don't fflush(stdout); WORKAROUND bug in Linux glibc */
- if (prog_argv != NULL && prog_argv[0] != NULL) {
- fprintf(stderr, "%s: ", prog_argv[0]);
- }
- vfprintf(stderr, s, ap);
- fprintf(stderr, "\n");
-}
-
-void belch(char *s, ...)
-{
- va_list ap;
- va_start(ap,s);
- /* don't fflush(stdout); WORKAROUND bug in Linux glibc */
- vfprintf(stderr, s, ap);
- fprintf(stderr, "\n");
-}
-
-/* result-checking malloc wrappers. */
+/* -----------------------------------------------------------------------------
+ Result-checking malloc wrappers.
+ -------------------------------------------------------------------------- */