Constant pt_error_code_pte_bad_opc 

pub const pt_error_code_pte_bad_opc: pt_error_code = 4;