source `dirname $0`/util.sh

save_exe barrier$bitness
saved_barrier="barrier$bitness-$nonce"

record target_process$bitness "$saved_barrier"
TARGET_PID=$(grep 'child ' record.out | awk '{print $2}')

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