Constant SMT_UNPARKING_POLICY_LP_SEQUENTIAL 

pub const SMT_UNPARKING_POLICY_LP_SEQUENTIAL: u32 = 3u32;