insns.dat: reformat