GDB Python Script for Debugging SAC Programs