M2compiler-V3/compiler/tests/g_wrapb.def

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