# GDB debugger batch script (called by runtest.sh)
run
quit
y