void werr(int fatal, char* format, ...) ;
void pwerr(int fatal, char* format, ...) ;
