external get_trans  : t -> Vec3.t = "matrix_get_trans"