debuginfo instead of traceback