let
  function test_return_10() =
    let
      function get_x(x : int): int = x
    in
      assert get_x(10) = 10
    end
  in
  test_return_10()
end