tail -n +$LINE < $FILE| head -n $NUM| sed 's/^extern *//'| sed 's/PRINTF_FMT([^)]*)//'| sed 's/,/ UNNEEDED,/g'| sed 's/\([a-z0-9A-Z*_]* [a-z0-9A-Z*_]*\));/\1 UNNEEDED);/'| sed "s/;\$/$STUB/"
tail -n +$LINE < $FILE| head -n $NUM| sed 's/^extern *//'| sed 's/PRINTF_FMT([^)]*)//'| sed 's/,/ UNNEEDED,/g'| sed 's/\([a-z0-9A-Z*_]* [a-z0-9A-Z*_]*\));/\1 UNNEEDED);/'| sed "s/;\$/$STUB/"| sed 's/\s*$//'