# $1: c file to examine
# $2: write file

cfile="$1"
writefile="$2"

if [ ! -f $cfile ]; then
	>&2 echo "ERROR: $cfile not found"
	shift; continue
fi

sed -n "s/^.*\/\*\s*RETURN VALUE:\s*\([0-9]*\)\s*\*\//\1/p" $1 > $2