pub const PT_LOWER_HEALTH: PROBLEM_TYPE;