Noalias in multiplication