pub const RedType_RED_TYPE_BITSET: RedType = 30;