Constant SHTDN_REASON_FLAG_DIRTY_PROBLEM_ID_REQUIRED 

pub const SHTDN_REASON_FLAG_DIRTY_PROBLEM_ID_REQUIRED: u32 = 33554432;