product --Operation, two inputs. Infix: *
     The output of this procedure is the product of the two inputs.