let is_one a =
  try Bitv.all_ones (d_const a) with Not_found -> false