72a73,74
> and t0, rcx, rcx, flags=(EZF,), dataSize=asz
> bri t0, label("end"), flags=(CEZF,)
87a90
> end:
106a110,111
> and t0, rcx, rcx, flags=(EZF,), dataSize=asz
> bri t0, label("end"), flags=(CEZF,)
121a127
> end: