Constant MIPS_preceq_w_phl 

pub const MIPS_preceq_w_phl: u16 = 937; // 937u16