cycles = 4096

def final():
    assert_reg(r0, 0x01234567)
    assert_reg(r1, 0x89abcdef)