pub const ENCODING_ENC_UADDLP_ASIMDMISC_P: ENCODING = 1717;