pub const ENCODING_ENC_UNALLOCATED_10_FLOATCMP: ENCODING = 1788;