{ %fail } type yes = boolean = true; begin end.