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