M2compiler-V3/compiler/tests/g_wrapb.mod

IMPLEMENTATION MODULE WrapB = Wrap(IntBox.Box);
END WrapB.