(bind-func equ (lambda (s1:Symbol* s2:Symbol*) (if (= (strcmp (tref s1 1) (tref s2 1)) 0) 1:i1 0:i1)))