SCOP : pmul0 : d.17.7.1