All symbols starting with `a' in EXTERNAL_HEADERS