Constant pt_error_code_pte_nosync 

pub const pt_error_code_pte_nosync: pt_error_code = 3;