DEFINITION MODULE badparam ;

PROCEDURE foo (c: CHAR) ;

END badparam.