Feature: Debugger integration (into the debugger branch)