#ifndef lint
 static	char sccsid[] = "@(#)d_prod.c 1.1 92/07/30 SMI"; /* from UCB 1.1" */
#endif
/*
 */

double d_prod(x,y)
float *x, *y;
{
return( (*x) * (*y) );
}