The illustration shows two sections of a code segments. The sections are as follows:

• Function Declaration
“int factorial(int n);
 //Returns factorial of n.
 //The argument n should be nonnegative.”
• Function Definition
 “int factorial(int n)
 {
 int product = 1;
 while (n > 0)
 {
 product = n * product;
 n--;” annotated as” formal parameter n used as a local variable.”
“}
return product;
}"