for (i = 0, imax = args.length; i < imax; ++i) {
        product *= args[i].__int__();
      }