3BSD/usr/include/execargs.h
char **execargs = (char**)(0x7ffffffc);