F_CPROOF
F_KEYED | F_CPROOF | F_DERIVED,
F_KEYED | F_CPROOF | F_DERIVED,
F_KEYED | F_CPROOF,
F_CPROOF,
F_CPROOF,
F_KEYED | F_CPROOF | F_VARIANT,
F_KEYED | F_CPROOF | F_VARIANT,
F_KEYED | F_CPROOF | F_VARIANT,
F_KEYED | F_CPROOF | F_DERIVED,
F_CPROOF,
return ct->flags & F_CPROOF;