/*	@(#)execargs.h	1.2	*/
#if vax
char **execargs = (char**)(0x7ffffffc);
#endif

#if pdp11
char **execargs = (char**)(-2);
#endif

#if u3b || u3b5
/* empty till we can figure out what to do for the shell */
#endif

#if	mc68k
char **execargs = (char **)(4*1024*1024 - 4);
#endif
