pub const PT_HIPROC: u32 = 0x7fffffff;