REL02 figures

A local use and an observable escape

The helper body changes the available proof

One IL box, two observed native paths

A local delegate can still allocate

Measured managed bytes per operation