pub const ENCODING_ENC_USQADD_ASIMDMISC_R: ENCODING = 2660;