PINCE: front-end/reverse engineering tool for the GNU Project Debugger