let
  function funky(k: int): int = 10
  in
  funky(30)
end