def final():
    assert_reg(r1, 4)
    assert_reg(r2, 0x01010100)
    assert_reg(r3, 0)