pub const ENCODING_ENC_LDURSB_32_LDST_UNSCALED: ENCODING = 1017;