FIXED: write_inst() fix ICMP to include COND in output.