pub const ENCODING_ENC_FCMPE_S_FLOATCMP: ENCODING = 324;