var f: integer->integer := x->2*Result;

begin
end.