Constant pt_error_code_pte_bad_config

pub const pt_error_code_pte_bad_config: pt_error_code = 10;