Constant pt_error_code_pte_nomem 

pub const pt_error_code_pte_nomem: pt_error_code = 9;