/920518-1.c/1.1.1.1/Sat Aug 19 01:35:08 1995//TDIST-960425
/920810-1.c/1.1.1.1/Sat Aug 19 01:35:09 1995//TDIST-960425
/930529-1.c/1.1.1.1/Sat Aug 19 01:35:09 1995//TDIST-960425
/ieee.exp/1.1.1.1/Sat Aug 19 01:35:09 1995//TDIST-960425
