-- SPDX-FileCopyrightText: 2026 Yuki Otsuka -- -- SPDX-License-Identifier: BSD-3 import ViETest.TreeStats def main (args : List String) : IO Unit := ViETest.TreeStats.main args