Symbol: ARGCHECK