DEFINITION MODULE badimp ;


END badimp.