pub const ENCODING_ENC_UNALLOCATED_80_FLOAT2INT: ENCODING = 2614;