pub const ENCODING_ENC_UADDV_R_P_Z_: ENCODING = 3636;