pub const ERROR_NO_PAGEFILE: u32 = 578; // 578u32