pub const RedType_RED_TYPE_SET_WORD: RedType = 16;