#!/bin/sh
rm -f core
while [ T = T ] ; do
#	./a.out 8 100 500000 > /dev/null 2>&1
	./a.out 8 100 500000 > yyy 2>&1
#	./a.out 8 100 500000
	sleep 2			# wait for core to be dumped
    if [ -f core ] ; then break; fi
	echo "successful execution"
done
