All symbols starting with `s' in EXTERNAL_HEADERS