• IR modeling for Optimizer:
• Dispatch on Try-Finally
• Multiple Local-Unwinds
• Implementation: