[seq [] swap dup [zero? not] [rolldown [dup] dip cons rollup pred] while pop pop].