PanLinx: run-time debugger