A31: Nodes<Defn>   LOCATION   A1: TypDefn idt   LOCATION   A0: AtomType INT   LOCATION   A4: VarDefn idv   LOCATION   A3: ArrType ArrType[10]   LOCATION   A2: NameType idt   LOCATION   A13: ExtFunDefn idf   LOCATION   A12: Nodes<ParDefn>   LOCATION   A6: ParDefn id1   LOCATION   A5: NameType T1   LOCATION   A8: ParDefn id2   LOCATION   A7: NameType T2   LOCATION   A10: ParDefn id3   LOCATION   A9: NameType T3   LOCATION   A11: NameType idt   LOCATION   A30: DefFunDefn idff   LOCATION   A27: Nodes<ParDefn>   LOCATION   A15: ParDefn abc   LOCATION   A14: NameType id   LOCATION   A16: NameType idt   LOCATION   A29: Exprs   LOCATION   A28: Nodes<Expr>   LOCATION   A17: AtomExpr 1   LOCATION   A18: AtomExpr 2   LOCATION   A19: AtomExpr 3   LOCATION   A26: WhileExpr   LOCATION   A20: AtomExpr 2   LOCATION   A25: Exprs   LOCATION   A24: Nodes<Expr>   LOCATION   A21: AtomExpr 1   LOCATION   A22: AtomExpr 2   LOCATION   A23: AtomExpr 3   LOCATION