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