MODULE IntSwap = Swap(Integer) END IntSwap.