Constant SMT_UNPARKING_POLICY_CORE 

pub const SMT_UNPARKING_POLICY_CORE: u32 = 0u32;