DEFINITION MODULE M2Pass4;

EXPORT QUALIFIED Pass4;

PROCEDURE Pass4;

END M2Pass4 .
