pub const TCGCond_TCG_COND_LE: TCGCond = 10;