Added a GDB script for debugging