M2compiler-V3/compiler/tests/g_bufprog.mod

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