almost-GC (fib bug: addresses of frame-to-be-popped are not in range of
Store)
- returnMarker (synthetic) frames, no more frame marking
- store-allocated return values (allocated in scope of returning f)
GC with fresh NFA (retrospective stack, no caching)
caching possible frames