00index.txt         234  
diskxv1             556  
maketag            1285  
tagfile             586  
tagfile.org         586  
tagfile.pat          90  
xv32_sa.tgz      127115  
xv32_so.tgz      854950  
xvol32.tgz       454104