let
mk_one n = mk_const(
Bitv
.create n
true
)