Step 2C (E# IR, Example)