A fast and flexible debugger front-end.