Class UnsignedShiftRightDef