UNDER+
* UNDER+ ( n1 x n2 -- n1+n2 x ) TF

quicker than
 : UNDER+  ROT + SWAP ;

FORTH/BASE misc obsolete forthword