00index.txt         260  
diskx1             1138  
readme             8896  
tagfile            2596  
tagfile.org        2596  
tagfile.pat        2607  
x_8514.tgz       379570  
x_mach32.tgz     428066  
x_mach8.tgz      383529  
xf_doc.tgz       132831