Constant pt_error_code_pte_bad_insn 

pub const pt_error_code_pte_bad_insn: pt_error_code = 14;