more examples in main