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