pub const ENCODING_ENC_UABDL_ASIMDDIFF_L: ENCODING = 1714;