> Is there any GC_state structure besides gcState? I.e., are all the pointers > to GC_state's being passed around pointing to the same gcState? Yes.