let mk_zero n = 
  assert(n > 0);
  mk_const(Bitv.create n false)