X86.Cond
data Cond