pub const ENCODING_ENC_LDFF1D_Z_P_BZ_D_X32_UNSCALED: ENCODING = 3136;