reset_mutable_bits
val = reset_mutable_bits(uc.args[2], val);
TEST_ASSERT_EQ(val, reset_mutable_bits(uc.args[2], uc.args[3]));
TEST_ASSERT_EQ(reset_mutable_bits(encoding, test_reg_vals[idx]),
reset_mutable_bits(encoding, observed));