/* varargs.h  */
/* 11-Feb-86 11:17:52  */

#ifndef va_arg
extern int *VaStart(), *VaEnd();
#define va_arg(p,s)  (p += s, p - s)
#define va_start() VaStart()
#define va_end(p) VaEnd(p)
#endif