pub const RedType_RED_TYPE_LOGIC: RedType = 4;