pub const TCGCond_TCG_COND_GTU: TCGCond = 13;