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