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