/allinsn.d/1.1.1.1/Thu Oct 30 01:25:32 1997//
/allinsn.exp/1.1.1.1/Thu Oct 30 01:25:32 1997//
/allinsn.s/1.1.1.1/Thu Oct 30 01:25:33 1997//
D
