pub const ENCODING_ENC_UNALLOCATED_47_ASIMDSHF: ENCODING = 2501;