Class::Contract

• Has it's own object system
• Implements old, which clones
• Not good for integrating with existing code
• Things you didn't see:
• invar keyword for invariants
• value keyword for retrieving return value in postconditions