let d_const = function Bv(Const(b)), _ -> b | _ -> raise Not_found