pub const RedType_RED_TYPE_UNSET: RedType = 2;