/allinsn.d/1.1.1.1/Thu May 29 09:24:47 1997//
/allinsn.exp/1.1.1.1/Thu May 29 09:24:47 1997//
/allinsn.s/1.1.1.1/Thu May 29 09:24:47 1997//
D
