/default.exp/1.1.1.1/Sat Aug 19 02:02:23 1995//TDIST-960425
/hppa.sed/1.1.1.1/Sat Aug 19 02:02:23 1995//TDIST-960425
