Constant pt_error_code_pte_invalid 

pub const pt_error_code_pte_invalid: pt_error_code = 2;