{ %FAIL } type x = x; begin end.