def f a
end