Slightly complicated example in main