let
  var k := 10
  function add_k(x: int): int = x + k
  in
  add_k(15)
end