further simplification of advance_bounded