let
mk_zero n = mk_const(
Bitv
.create n
false
)