def f a
end
