q : int = 1 f :: fn -> int { q += 1 ret q } start :: fn { f() <=> 2 f() <=> 3 f() <=> 4 f() <=> 5 }