/options.exp/1.1.1.1/Sat Aug 19 03:12:28 1995//TDIST-960425
/stats-sub.exp/1.1.1.1/Sat Aug 19 03:12:28 1995//TDIST-960425
/stats.exp/1.1.1.1/Sat Aug 19 03:12:28 1995//TDIST-960425
