pub const ENCODING_ENC_DUP_P_P_PI_: ENCODING = 2815;