Further debug backtrace abstraction