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