/allinsn.d/1.1/Tue Jun 18 21:14:44 2002//
/allinsn.exp/1.1/Tue Jun 18 21:14:45 2002//
/allinsn.s/1.1/Tue Jun 18 21:14:45 2002//
D
