SPARC.Cond
data Cond