Some erroring examples