;; first function (bind-func plus:[!a,NUM*,!a,!a]* (lambda (dict a b) (let ((f (tref dict 0))) (f a b))))