def f a: 1
end
