Defines in EXTERNAL_HEADERS/architecture/i386