<s> aGlobal = <NUM_LIT> <EOL> def f1 ( x ) : <EOL> if x <= <NUM_LIT:0> : <EOL> return x <EOL> return f2 ( x ) <EOL> def f2 ( x ) : <EOL> return aGlobal + f4 ( x ) + f3 ( x ) <EOL> def f3 ( x ) : <EOL> return f1 ( x - <NUM_LIT:1> ) <EOL> def f4 ( x ) : <EOL> if x <= <NUM_LIT:0> : <EOL> return x <EOL> return f5 ( x ) <EOL> def f5 ( x ) : <EOL> return aGlobal + f6 ( x ) + f4 ( x - <NUM_LIT:1> ) <EOL> anotherGlobal = <NUM_LIT> <EOL> def f6 ( x ) : <EOL> return anotherGlobal + x </s>
