{ %fail }
function x(x : real) : ;
begin
  tmp in [x div x(1)]
end.