This example fails: