pub const RedType_RED_TYPE_OBJECT: RedType = 32;