1: /* 2: * Copyright (c) 1984, 1985 Xerox Corp. 3: * 4: * Print out an error string and then die. 5: * 6: */ 7: 8: #include <stdio.h> 9: 10: error(string, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) 11: char *string; 12: int a1, a2, a3, a4, a5, a6, a7, a8, a9, a10; 13: { 14: fprintf(stderr, string, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10); 15: exit(2); 16: }