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