# simulate the randomization of pushing one and always popping many

def f():
    var x, y
    assume y >= 0
    
    while x > 0:
    	x = x - 1

        prob(1,3):
    		y = y + 1
    	    
        while y > 0:
            y = y - 1
            tick 1

        tick 2