module Mod125_A where

data T = T