Seer: A GUI front end to GDB for Linux