GENERIC IMPLEMENTATION MODULE OrdBox;
END OrdBox.