M2compiler-V3/compiler/tests/g_gcprog.mod

MODULE GCBoxProg;
IMPORT GCInt;
VAR b : GCInt.Box; ExitCode : INTEGER;
BEGIN b.Put(42); ExitCode := b.Get() END GCBoxProg.