A declarative example