With all the talk of garbage collection. I was wondering if it would be useful to make the GC typed. If it was typed, it maybe be possible to make it more efficient via type information, (such as only scanning reference fields). Also, it could have access to attribute information if applicable. -S.