TODO: a nice GDB backend.
