Constant RTL_CRITICAL_SECTION_FLAG_NO_DEBUG_INFO 

pub const RTL_CRITICAL_SECTION_FLAG_NO_DEBUG_INFO: u32 = 16777216;