pub const ENCODING_ENC_RADDHN_ASIMDDIFF_N: ENCODING = 1172;