/* 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