gen-insn-x86-dat.sh