Split off into gc-finalized file. Added WITH-GC-FINALIZED