• Introduction
• Dataflow proposal
• Complete tests
• Escape analysis for use-after-return
• Comments?