text editor inspired vim and yi
import Test.TreeStats

def main (args : List String) : IO Unit :=
  Test.TreeStats.main args