+cat ${outf}_explist | while read i; do
+ s0=`echo $i | cut -c 1`
+ if [ "$s0" = "@" ]; then
+ sym=`echo $i | awk -F@ '{print $2}'`
+ pre=""
+ else
+ sym=`echo $i | awk -F@ '{print $1}'`
+ pre="_"
+ fi
+ if grep -q "$sym" $2; then
+ continue
+ fi
+
+ echo ".globl $pre$i" >> $outf
+ echo "$pre$i:" >> $outf
+ echo " jmp $sym" >> $outf
+ echo >> $outf