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