#endif
int user_argc = argc-5 ;
char **user_argv = new (char *) [user_argc] ;
char **user_argv = new char* [user_argc] ;
user_argv[0] = strdup(argv[0]) ;
for (int uia=1; uia<user_argc; ++uia) user_argv[uia] = strdup(argv[5+uia]) ;
#if VERBOSE