(bind-func dot_product:[!b,Vector:<!a,i64>*,Vector:<!a,i64>*]* (lambda (v1 v2) (vdot (tref v1 0) (tref v2 0) (tref v1 1))))