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