Implement insns.dat in human readable form