Title: High level debugging tools