@Tup8/New = (a (b (c (d (e (f (g (h ((0 (a (b (c (d (e (f (g (h i))))))))) i)))))))))
@app = (?(((* (a a)) @app__C0) b) b)
@app__C0 = (a ({b (c d)} (c e)))
& @app ~ (a (b (d e)))
@main = b
& @app ~ (1234 (@rot (a b)))
& @Tup8/New ~ (1 (2 (3 (4 (5 (6 (7 (8 a))))))))
@rot = ((@rot__C1 a) a)
@rot__C0 = (h (a (b (c (d (e (f (g i))))))))
& @Tup8/New ~ (a (b (c (d (e (f (g (h i))))))))
@rot__C1 = (?((@rot__C0 *) a) a)