TODO: a nice GDB backend.