Constant pt_error_code_pte_bad_lock 

pub const pt_error_code_pte_bad_lock: pt_error_code = 18;