Constant pt_error_code_pte_bad_packet 

pub const pt_error_code_pte_bad_packet: pt_error_code = 5;