let
  function return_5(): int = 5
  in
  assert return_5() = 5
end