:i	static char d_wait3_sccs_id[] = "%W% %G%";
:1#include "V_s_lc.h"
#include "sys_wait.h"
#if HAS_wait3 > 0 && USE_wait3 > 0
#include "sys_resource.h"
/*
* This is a debug wrapper for the wait3() system call. This is usually
* only  available on BSD-style Unix systems.  A serious problem exists
* with making this truly portable:  There are some major  variants  in
* the  types  of the first and third parameters.  But for our purposes
* right now, we don't care. We just pass them on to the system wait3()
* function, so a generic pointer should do the job.
*/
d_wait3(sp,op,up)
	void *sp;
	int   op;
	void *up;
{	int v;

:7	V7s "wait3(%08lX,%08X,%08lX)",sp,op,up D;
	errno = 0;
	v = wait3(sp,op,up);
:5	V5s "wait3(%08lX,%08X,%08lX)=%d [Err %d=%s=%s]",sp,op,up,v,Errinfo D;
	return v;
}
#else
	int has_wait3 = 0;
#endif