pub const PT_INVALID: PROBLEM_TYPE = 0i32;