def final():
    assert_reg(r0, 1)
    assert_reg(r1, 0b01)
    assert_reg(r2, 2)