Added info to insns.dat