FileAST(ext=[FuncDef(decl=Decl(name='main', quals=[ ], align=[ ], storage=[ ], funcspec=[ ], type=FuncDecl(args=ParamList(params=[Decl(name='x', quals=[ ], align=[ ], storage=[ ], funcspec=[ ], type=TypeDecl(declname='x', quals=[ ], align=None, type=IdentifierType(names=['int' ] ) ), init=None, bitsize=None ), Decl(name='y', quals=[ ], align=[ ], storage=[ ], funcspec=[ ], type=TypeDecl(declname='y', quals=[ ], align=None, type=IdentifierType(names=['int' ] ) ), init=None, bitsize=None ), Decl(name='z', quals=[ ], align=[ ], storage=[ ], funcspec=[ ], type=TypeDecl(declname='z', quals=[ ], align=None, type=IdentifierType(names=['int' ] ) ), init=None, bitsize=None ) ] ), type=TypeDecl(declname='main', quals=[ ], align=None, type=IdentifierType(names=['int' ] ) ) ), init=None, bitsize=None ), param_decls=None, body=Compound(block_items=[For(init=DeclList(decls=[Decl(name='i', quals=[ ], align=[ ], storage=[ ], funcspec=[ ], type=TypeDecl(declname='i', quals=[ ], align=None, type=IdentifierType(names=['int' ] ) ), init=ID(name='x' ), bitsize=None ) ] ), cond=BinaryOp(op='>', left=ID(name='i' ), right=Constant(type='int', value='0' ) ), next=UnaryOp(op='p--', expr=ID(name='i' ) ), stmt=Compound(block_items=[Assignment(op='=', lvalue=ID(name='z' ), rvalue=BinaryOp(op='+', left=ID(name='y' ), right=ID(name='x' ) ) ) ] ) ) ] ) ) ] )