Constant pt_error_code_pte_bad_image 

pub const pt_error_code_pte_bad_image: pt_error_code = 17;