let
  var x := 10
  function assert_eq_x(k : int) = assert k = x
  in
  assert_eq_x(10)
end