pub const ENCODING_ENC_FCCMP_H_FLOATCCMP: ENCODING = 280;