pub const ENCODING_ENC_XAFLAG_M_PSTATE: ENCODING = 2675;