prod_endp         430 lib/mpi/mpih-mul.c 	mpi_ptr_t prod_endp = prodp + usize + vsize - 1;
prod_endp         482 lib/mpi/mpih-mul.c 	*_result = *prod_endp;