Constant pt_error_code_pte_overflow 

pub const pt_error_code_pte_overflow: pt_error_code = 25;