IMPLEMENTATION MODULE IntBox = OrdBox(INTEGER);
END IntBox.