code: function () {
              var t = this.dpop() | 0;
              var n = this.dpop() | 0;
              var ddd = Long.fromInt(n);
              ddd = ddd.mul(Long.fromInt(t));
              this.dpush(ddd.low);
              this.dpush(ddd.high);
          }
docs: 6.1.1810 M* “m-star” (CORE) ( n1 n2 -- d ) d is the signed product of n1 times n2 .