Other examples can compile again.