fun
_lez(
vv
) {
return
vv
<=
0
?ext(64)
; }