402,403c402,404
< threadContexts[0]->setIntReg(ArgumentReg0, argc);
< threadContexts[0]->setIntReg(ArgumentReg1, argv_array_base);
---
> assert(NumArgumentRegs >= 2);
> threadContexts[0]->setIntReg(ArgumentReg[0], argc);
> threadContexts[0]->setIntReg(ArgumentReg[1], argv_array_base);
630,631c631,633
< //threadContexts[0]->setIntReg(ArgumentReg0, argc);
< //threadContexts[0]->setIntReg(ArgumentReg1, argv_array_base);
---
> //assert(NumArgumentRegs >= 2);
> //threadContexts[0]->setIntReg(ArgumentReg[0], argc);
> //threadContexts[0]->setIntReg(ArgumentReg[1], argv_array_base);