fun f(a :: Any, b :: Any):
  5
end

f(5)