-- !!! Cumulative exportation
module M where
import Mod128_A(T(..))

f = Con