Constant REQUEST_OPLOCK_OUTPUT_FLAG_WRITABLE_SECTION_PRESENT 

pub const REQUEST_OPLOCK_OUTPUT_FLAG_WRITABLE_SECTION_PRESENT: u32 = 4u32;