github.com/smasher164/tapl@v0.0.0-20230202055446-fd56bc413abd/tests/arith/12.out.txt (about) 1 succ 2 └─succ 3 └─0