pub const ENCODING_ENC_FCMP_H_FLOATCMP: ENCODING = 328;