IMPLEMENTATION MODULE badparam ;

PROCEDURE foo (c: CARDINAL) ;
BEGIN

END foo ;

END badparam.