pub const RedType_RED_TYPE_POINT: RedType = 31;