# while (i<n and a[i]>m):
sv.minmax./ff=le/m=ge/mr 4,*10,4,1 # r4 accumulate
crternlogi 0,1,2,127 # test >= (or VL=0)
-sv.crand *19,*16,0 # clear if CR0.eq=0
+sv.crnand/m=lt/zz *19,*16,0 # SO=~LT, if CR0.eq=0
# nm = i: count masked bits. could use crweirds
sv.svstep/mr/m=so 1,0,6,1 # get vector dststep
sv.creqv *16,*16,*16 # set mask on already-tested