Actually, WIDE2-2 would reduce to WIDE2-1, then WIDE2*. ? So it's actually the second number that decrements to zero. ? WIDE1-1 would reduce to WIDE*.
Actually, WIDE1-1 would decrement to WIDE1*.