def f():
    var x, y, m, n, r

    while x + 3 <= n:
        if y < m:
            r = unif(0, 1)
            y = y + r
        else:
            r = unif(0, 3)
            x = x + r
        tick 1