run -s2 "(a (lambda (x0 x1 x2) (= x0 (+ x1 x2))) @)" "(7 3 4)"
1
