MODULE BufProg;
FROM Buf10 IMPORT T;
VAR a : T; ExitCode : INTEGER;
BEGIN ExitCode := HIGH(a) + 32 END BufProg.