Symbol: argc