#! /bin/sh PATH=/bin:/usr/bin DIR=/usr/Xinu OUTFILE=$1 shift $DIR/bin/nm11 -n serve11 | egrep ' T | D | B ' > $OUTFILE &