blob: 56942aefcef4ae6d0c9b3e05500262c26beff50e [file]
begin word bits b = word 2r1010;
assert ((word_bits_width - 1) ELEM b);
assert (NOT ((word_bits_width - 2) ELEM b))
end