Constant IPRTRMGR_PID 

pub const IPRTRMGR_PID: u32 = 10000u32;