;; third function (bind-func mul:[!a,!a,!a]* (lambda (a b) (let ((dict (NUM a)) (f (tref dict 2))) (f a b))))