pub const ENCODING_ENC_FMOV_32H_FLOAT2INT: ENCODING = 533;