Macro bv_const

macro_rules! bv_const {
    ($solver: ident, $i: expr, $n: expr) => { ... };
}