source `dirname $0`/util.sh

save_exe breakpoint$bitness
saved_breakpoint="breakpoint$bitness-$nonce"

record $TESTNAME "$saved_breakpoint"
TARGET_PID=$(grep 'child ' record.out | awk '{print $2}')

echo Targeting recorded pid $TARGET_PID ...
debug restart_breakpoint "-p $TARGET_PID -g 1"
