Partially validated mat_mult