# t30 in C4B figure 8

def f():
    var x, y, t, r
    while [y >= -1] x > 0:
        r = unif(1, 3)
        x = x - r
        t = x
        x = y
        y = t
        tick 1