Symbol: exec_fakearg