extern void error (int status, int errnum, const char *format, ...) { fprintf(stderr,"Sorry: error() not implemented"); }