A39: Nodes<Defn>   LOCATION   A38: DefFunDefn f   LOCATION   A35: Nodes<ParDefn>   LOCATION   A0: AtomType VOID   LOCATION   A37: Exprs   LOCATION   A36: Nodes<Expr>   LOCATION   A34: LetExpr   LOCATION   A31: Nodes<Defn>   LOCATION   A3: ExtFunDefn f   LOCATION   A2: Nodes<ParDefn>   LOCATION   A1: AtomType VOID   LOCATION   A33: Exprs   LOCATION   A32: Nodes<Expr>   LOCATION   A15: LetExpr   LOCATION   A12: Nodes<Defn>   LOCATION   A6: ExtFunDefn f   LOCATION   A5: Nodes<ParDefn>   LOCATION   A4: AtomType VOID   LOCATION   A14: Exprs   LOCATION   A13: Nodes<Expr>   LOCATION   A11: Exprs   LOCATION   A10: Nodes<Expr>   LOCATION   A7: NameExpr a   LOCATION   A8: NameExpr b   LOCATION   A9: NameExpr c   LOCATION   A30: LetExpr   LOCATION   A27: Nodes<Defn>   LOCATION   A23: DefFunDefn f   LOCATION   A20: Nodes<ParDefn>   LOCATION   A16: AtomType INT   LOCATION   A22: Exprs   LOCATION   A21: Nodes<Expr>   LOCATION   A19: BinExpr ADD   LOCATION   A17: AtomExpr 5   LOCATION   A18: AtomExpr 5   LOCATION   A29: Exprs   LOCATION   A28: Nodes<Expr>   LOCATION   A26: SizeExpr   LOCATION   A25: ArrType ArrType[10]   LOCATION   A24: AtomType INT   LOCATION