| First observation: type.c uses the scc.c mechanism but doesn't
| have a mark(daSccs) in its MARK section. I think it should.
That's a good point, and may explain some other recent problems.
Well spotted!
| Second observation: static.c includes scc.c twice. It _does_
| have a mark(daSccs) in its MARK section. However, since daSccs
| is declared static, it's unclear which of the two daSccs the
| mark() call refers to. Certainly it can't refer to both, unless
| gcc/the linker magically merges them into a single variable.
This one turns out not to be an issue; scc.c uses some preprocessor
magic to ensure that you only get one daSccs, no matter how many
times you include "scc.c".
All the best,
Mark