MODULE testbadimp ;

IMPORT badimp ;

BEGIN
END testbadimp.