fun
f_ue(
vv
) { val
xx
=
vv
?bits(
2
)
;
return
xx
==
0b00
||
xx
==
0b11
; }