/allinsn.d/1.3/Sat Sep  2 19:28:28 2006//
/allinsn.exp/1.1.1.1/Sat Sep  2 19:28:28 2006//
/allinsn.s/1.1.1.1/Sat Sep  2 19:28:28 2006//
D
