exceptionman: works with debugging disabled