pub const ENCODING_ENC_WHILEWR_P_RR_: ENCODING = 3776;