add = [[REC (1, <0>), 0, [S 0], [[[0 2 1]]]]]
mul = [[REC (1, <0>), <0>, (add 0), [[[0 2 1]]]]]
add <0> <2>