All symbols starting with `g' in EXTERNAL_HEADERS