pub const ENCODING_ENC_FCMPE_H_FLOATCMP: ENCODING = 322;