pub const PageFaultGuid: GUID;