(bind-func normal:[Vector:<!a,i64>*,Vector:<!a,i64>*]* (lambda (v1) (let ((vdat (alloc (tref v1 1)))) (vnorm (tref v1 0) (tref v1 1) vdat) (Vector vdat (tref v1 1)))))