/allinsn.d/1.1/Fri Sep  9 23:32:28 2005//
/allinsn.exp/1.1/Fri Sep  9 23:32:28 2005//
/allinsn.s/1.1/Fri Sep  9 23:32:28 2005//
D
