pub const ENCODING_ENC_ORN_32_LOG_SHIFT: ENCODING = 1138;