Changed from not null to not empty
Add note about escape analysis.
Add tests for danling stack pointers