printf("The product of a and b is %f\n", prod(3, 12)); ...