pub const ENCODING_ENC_FCVTZS_ASIMDSHF_C: ENCODING = 432;