A39: Nodes<Defn>  1:1-1:119  A38: DefFunDefn f  1:1-1:119  A35: Nodes<ParDefn>   A0: AtomType VOID  1:11-1:14  A37: Exprs  1:18-1:119  A36: Nodes<Expr>  1:18-1:119  A34: LetExpr  1:18-1:119  A31: Nodes<Defn>  1:22-1:33  A3: ExtFunDefn f  1:22-1:33  A2: Nodes<ParDefn>   A1: AtomType VOID  1:30-1:33  A33: Exprs  1:38-1:115  A32: Nodes<Expr>  1:38-1:115  A15: LetExpr  1:38-1:70  A12: Nodes<Defn>  1:42-1:53  A6: ExtFunDefn f  1:42-1:53  A5: Nodes<ParDefn>   A4: AtomType VOID  1:50-1:53  A14: Exprs  1:58-1:66  A13: Nodes<Expr>  1:58-1:66  A11: Exprs  1:58-1:66  A10: Nodes<Expr>  1:58-1:66  A7: NameExpr a  1:59-1:59  A8: NameExpr b  1:62-1:62  A9: NameExpr c  1:65-1:65  A30: LetExpr  1:73-1:115  A27: Nodes<Defn>  1:77-1:93  A23: DefFunDefn f  1:77-1:93  A20: Nodes<ParDefn>   A16: AtomType INT  1:85-1:87  A22: Exprs  1:91-1:93  A21: Nodes<Expr>  1:91-1:93  A19: BinExpr ADD  1:91-1:93  A17: AtomExpr 5  1:91-1:91  A18: AtomExpr 5  1:93-1:93  A29: Exprs  1:98-1:111  A28: Nodes<Expr>  1:98-1:111  A26: SizeExpr  1:98-1:111  A25: ArrType ArrType[10]  1:105-1:111  A24: AtomType INT  1:109-1:111