PRODUCT: procedure (a, b) returns (float);
   declare (a, b) float;
   return (a*b);
end PRODUCT;