let mk_eps = 
  mk_const(Bitv.from_string "")