def final():
    #TODO
    assert_reg(r0, -1)