DEFINITION MODULE ATest;
PROCEDURE DoReadHigh(VAR High : INTEGER);
END ATest.