module T10233 where
import T10233a( Constraint, Int )