(args-argvn) argv[argc] = 0
args-argvn: exit(0)