Down 0 Is triggered if
, or 0 if the queue
, otherwise 0. The pointer
or MCS dS0 LREAL
modified. Pre: 0 <= x
Mode EIntersectMode xElem0
