def example