push(new RightShiftOperator(unboxedVariableTypeId,
unboxedValueTypeId, unboxedResultTypeId,
fCounter));
break;
case '>': // unsigned right shift equal
push(new UnsignedRightShiftOperator(
unboxedVariableTypeId, unboxedValueTypeId,
unboxedResultTypeId, fCounter));
break;
default:
unrecognized = true;