pub const ENCODING_ENC_FCMPE_D_FLOATCMP: ENCODING = 320;