DEFINITION MODULE M2Pass1;

EXPORT QUALIFIED Pass1;

PROCEDURE Pass1;

END M2Pass1 .
