add matr3_mul(...)