args_argc         600 vm_args.c      	    given_argc = args_argc(args);
args_argc         669 vm_args.c      	    VM_ASSERT(args_argc(args) == 0);