pub const ENCODING_ENC_FCMP_S_FLOATCMP: ENCODING = 330;