if [ "x$1" = "x" ]
then
	echo "Usage:  $0 program [corefile]"
	exit 1
fi
program=$1

if [ "x$2" = "x" ] 
then
	corefile=core
else
	corefile=$2
fi

number=`echo "Gct_current_index/D" | adb $program $corefile |\
	 sed -n -e '$s/[^0-9]*\([0-9]*\)/\1/p'`

echo "Instrumentation point $number was being evaluated when core dumped."
echo "That corresponds to this test condition:"
grep "0*$number " gct-map
echo '(The second field is the source file; the third is the line number.)'