SCOP : mmul0 : d.17.1.3