pub const ENCODING_ENC_REV64_ASIMDMISC_R: ENCODING = 1209;