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