All symbols starting with `s' in src/gui-none