GDB Front End: PINCE