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