/allinsn.d/1.2/Mon May 17 09:26:37 1999//
/allinsn.exp/1.1.1.1/Mon May  3 07:28:51 1999//
/allinsn.s/1.1.1.1/Mon May  3 07:28:51 1999//
D
