Smallest example that compiles. :-(