ESRCH              57 user/testbin/badcall/config.h #ifdef ESRCH
ESRCH              58 user/testbin/badcall/config.h #define NOSUCHPID_ERROR		ESRCH