[Reduction] #521-522: setargv