def f(i):
add_sig = Signature()
mul_sig = Signature()
ar = SingleDimArray(i)
v1 = Call2(add, ar, ar, ar.signature.transition(add_sig))
v2 = negative(space, v1)
v2.get_concrete()
for i in xrange(5):
v1 = Call2(mul, ar, ar, ar.signature.transition(mul_sig))
v2 = negative(space, v1)
v2.get_concrete()
def f(i):
ar = SingleDimArray(i)
v1 = Call2(add, ar, ar, Signature())
v2 = negative(space, v1)
return v2.get_concrete().storage[3]
