<?xml version="1.0" encoding="UTF-8" standalone="no"?><?xml-stylesheet type="text/xsl" href="../lib/xsl/abstr.xsl"?><abstr><astnode id="42" label="Nodes&lt;Defn&gt;"><location begcolumn="1" begline="1" endcolumn="7" endline="11"/><astnode id="41" label="DefFunDefn" name="dec100"><location begcolumn="1" begline="1" endcolumn="7" endline="11"/><astnode id="38" label="Nodes&lt;ParDefn&gt;"><location begcolumn="11" begline="1" endcolumn="17" endline="1"/><astnode id="1" label="ParDefn" name="p"><location begcolumn="12" begline="1" endcolumn="16" endline="1"/><astnode id="0" label="AtomType" name="INT"><location begcolumn="14" begline="1" endcolumn="16" endline="1"/></astnode></astnode></astnode><astnode id="2" label="AtomType" name="INT"><location begcolumn="19" begline="1" endcolumn="21" endline="1"/></astnode><astnode id="40" label="Exprs"><location begcolumn="5" begline="2" endcolumn="7" endline="11"/><astnode id="39" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="2" endcolumn="7" endline="11"/><astnode id="13" label="WhileExpr"><location begcolumn="5" begline="2" endcolumn="7" endline="4"/><astnode id="5" label="BinExpr" name="GTH"><location begcolumn="11" begline="2" endcolumn="15" endline="2"/><astnode id="3" label="NameExpr" name="p"><location begcolumn="11" begline="2" endcolumn="11" endline="2"/></astnode><astnode id="4" label="AtomExpr" name="0"><location begcolumn="15" begline="2" endcolumn="15" endline="2"/></astnode></astnode><astnode id="12" label="Exprs"><location begcolumn="9" begline="3" endcolumn="17" endline="3"/><astnode id="11" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="3" endcolumn="17" endline="3"/><astnode id="10" label="AsgnExpr"><location begcolumn="9" begline="3" endcolumn="17" endline="3"/><astnode id="6" label="NameExpr" name="p"><location begcolumn="9" begline="3" endcolumn="9" endline="3"/></astnode><astnode id="9" label="BinExpr" name="SUB"><location begcolumn="13" begline="3" endcolumn="17" endline="3"/><astnode id="7" label="NameExpr" name="p"><location begcolumn="13" begline="3" endcolumn="13" endline="3"/></astnode><astnode id="8" label="AtomExpr" name="1"><location begcolumn="17" begline="3" endcolumn="17" endline="3"/></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="37" label="LetExpr"><location begcolumn="5" begline="5" endcolumn="7" endline="11"/><astnode id="34" label="Nodes&lt;Defn&gt;"><location begcolumn="9" begline="5" endcolumn="19" endline="5"/><astnode id="15" label="VarDefn" name="a"><location begcolumn="9" begline="5" endcolumn="19" endline="5"/><astnode id="14" label="AtomType" name="INT"><location begcolumn="17" begline="5" endcolumn="19" endline="5"/></astnode></astnode></astnode><astnode id="36" label="Exprs"><location begcolumn="9" begline="6" endcolumn="17" endline="10"/><astnode id="35" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="6" endcolumn="17" endline="10"/><astnode id="18" label="AsgnExpr"><location begcolumn="9" begline="6" endcolumn="13" endline="6"/><astnode id="16" label="NameExpr" name="a"><location begcolumn="9" begline="6" endcolumn="9" endline="6"/></astnode><astnode id="17" label="AtomExpr" name="1"><location begcolumn="13" begline="6" endcolumn="13" endline="6"/></astnode></astnode><astnode id="29" label="WhileExpr"><location begcolumn="9" begline="7" endcolumn="11" endline="9"/><astnode id="21" label="BinExpr" name="LTH"><location begcolumn="15" begline="7" endcolumn="21" endline="7"/><astnode id="19" label="NameExpr" name="a"><location begcolumn="15" begline="7" endcolumn="15" endline="7"/></astnode><astnode id="20" label="AtomExpr" name="100"><location begcolumn="19" begline="7" endcolumn="21" endline="7"/></astnode></astnode><astnode id="28" label="Exprs"><location begcolumn="13" begline="8" endcolumn="21" endline="8"/><astnode id="27" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="8" endcolumn="21" endline="8"/><astnode id="26" label="AsgnExpr"><location begcolumn="13" begline="8" endcolumn="21" endline="8"/><astnode id="22" label="NameExpr" name="a"><location begcolumn="13" begline="8" endcolumn="13" endline="8"/></astnode><astnode id="25" label="BinExpr" name="ADD"><location begcolumn="17" begline="8" endcolumn="21" endline="8"/><astnode id="23" label="NameExpr" name="a"><location begcolumn="17" begline="8" endcolumn="17" endline="8"/></astnode><astnode id="24" label="AtomExpr" name="1"><location begcolumn="21" begline="8" endcolumn="21" endline="8"/></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="33" label="CallExpr"><location begcolumn="9" begline="10" endcolumn="17" endline="10"/><astnode id="30" label="NameExpr" name="dec100"><location begcolumn="9" begline="10" endcolumn="14" endline="10"/></astnode><astnode id="32" label="Nodes&lt;Expr&gt;"><location begcolumn="15" begline="10" endcolumn="17" endline="10"/><astnode id="31" label="NameExpr" name="a"><location begcolumn="16" begline="10" endcolumn="16" endline="10"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></abstr>