set disassembly-flavor intel
set logging file $OUTFILE
set logging on
file $PROGRAM
run $CMD_ARGS
echo \n
echo Found_with_CERT_BFF_2.8\n
echo  Running: $PROGRAM $CMD_ARGS
echo \n
bt full 512
down-silently 512
echo \n
info registers
echo \n
x/i $pc
echo \n
disass $pc-32,$pc
disass $pc,$pc+32
quit