4BSD/usr/include/execargs.h
char **execargs = (char**)(0x7ffffffc-6*0x200);