Macro bv_const 

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