/allinsn.d/1.1.1.1/Sat May 13 14:39:25 2017/-ko/
/allinsn.s/1.1.1.1/Sat May 13 14:39:25 2017/-ko/
/ip2k-allinsn.exp/1.1.1.1/Sat May 13 14:39:25 2017/-ko/
D
