Variables starting with `s' in src/debug