pub const ENCODING_ENC_UABAL_ASIMDDIFF_L: ENCODING = 1712;