(bind-func xtm_multiplication:[Matrix:<!a,i64,i64,i1>*,Matrix:<!a,i64,i64,i1>*,Matrix:<!a,i64,i64,i1>*]*
(lambda (m1 m2)
(let ((mdat (alloc (* (tref m1 1) (tref m2 2)))))
(mmmul (tref m1 0) (tref m1 1) (tref m1 2)
(tref m2 0) (tref m2 1) (tref m2 2)
mdat)
(Matrix mdat (tref m1 1) (tref m2 2) (tref m1 3)))))