/allinsn.d/1.1.1.1/Tue Sep 12 14:47:02 2000//
/allinsn.exp/1.1.1.1/Tue Sep 12 14:47:02 2000//
/allinsn.s/1.1.1.1/Tue Sep 12 14:47:02 2000//
D
