[this file](i386-code16-boot-sector.json) has the line `target-c-int-width: "32",` even though it is a 16 bit target. This seems to be an error now.