In C++, z3::context context generate a new context.Through this Z3 expressions with new context can be created as context.bv_const(variable_name, 16)
z3::context context
context.bv_const(variable_name, 16)