GENERIC DEFINITION MODULE OrdBox (T : TYPE (ORDINAL));
TYPE Box = ARRAY [0..3] OF T;
END OrdBox.