do...while in RxInt