DEFINITION MODULE M2CErrW2;

EXPORT QUALIFIED we4, we5, we6;

PROCEDURE we4 (number: CARDINAL);
PROCEDURE we5 (number: CARDINAL);
PROCEDURE we6 (number: CARDINAL);

END M2CErrW2 .
