Tests for CrossBridge GDB debugging