Updated example for latest layout of abstractions.