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