Defines starting with `d' in EXTERNAL_HEADERS/architecture/i386