pub const ENCODING_ENC_UNALLOCATED_13_FLOATCMP: ENCODING = 1901;