V8/usr/include/execargs.h
char **execargs = (char**)(0x7ffffffc-8*0x200);