echo allocx.o;nm allocx.o |grep $1
echo bombx.o;nm bombx.o |grep $1
echo ccompatc.o;nm ccompatc.o |grep $1
echo choosex.o;nm choosex.o |grep $1
echo copyrcpx.o;nm copyrcpx.o |grep $1
echo diagx.o;nm diagx.o |grep $1
echo fhashx.o;nm fhashx.o |grep $1
echo filetpx.o;nm filetpx.o |grep $1
echo fluidx.o;nm fluidx.o |grep $1
echo gclibx.o;nm gclibx.o |grep $1
echo gmonx.o;nm gmonx.o |grep $1
echo hsboxx.o;nm hsboxx.o |grep $1
echo initx.o;nm initx.o |grep $1
echo intvarx.o;nm intvarx.o |grep $1
echo loggerx.o;nm loggerx.o |grep $1
echo opaquex.o;nm opaquex.o |grep $1
echo parrayx.o;nm parrayx.o |grep $1
echo psrandx.o;nm psrandx.o |grep $1
echo queuesx.o;nm queuesx.o |grep $1
echo scavx.o;nm scavx.o |grep $1
echo sema4x.o;nm sema4x.o |grep $1
echo sockptlx.o;nm sockptlx.o |grep $1
echo stubrcpx.o;nm stubrcpx.o |grep $1
echo tofux.o;nm tofux.o |grep $1
echo tombx.o;nm tombx.o |grep $1
echo wparrayx.o;nm wparrayx.o |grep $1
echo xpplibx.o;nm xpplibx.o |grep $1
echo xunewx.o;nm xunewx.o |grep $1
