Make the parser fail if the number of procedure arguments doesn't match its ARGUMENT-TYPES annotation.
Make the parser fail if the number of procedure arguments doesn't
match its ARGUMENT-TYPES annotation.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language