/*
* (c) Copyright 1984, 1985, 1986 Xerox Corporation
*
* Print out an error string and then die.
*
*/
#include <stdio.h>
/*VARARGS*/
error(string, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)
char *string;
int a1, a2, a3, a4, a5, a6, a7, a8, a9, a10;
{
fprintf(stderr, string, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10);
exit(2);
}