/allinsn.d/1.3/Sun Sep 29 04:25:06 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
