#! /bin/sh
i1=a
i2=a
i3=a
for i in `grep ffffffff *.dbg`
do
  i1=$i2
  i2=$i3
  i3=$i
  if [ $i2 = "ffffffff" ]
  then
    echo "**** WARNING: LABEL ${i1##*:} UNDEFINED IN ${i1%%:*}"
  fi
done
exit 0