>> Hang on, why would the finalization queue live in the segment? > > I didn't say they did. My point re finalization is that the segment > creation prim only does a mark and an unmarked, not a GC. So no > finalization is done then. Does performing a GC necessarily imply a compact in Spur? Andres.