3BSD/usr/include/execargs.h

char **execargs = (char**)(0x7ffffffc);