Lesson 9 — withdraw_shortfall — the Layer 2 → Layer 3 boundary as code