/allinsn.d/1.3/Tue Aug 27 23:51:47 2002//
/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
