Symbol: argv_exp3