A45: Nodes<Defn>  1:1-1:144  A44: DefFunDefn f  1:1-1:144  A41: Nodes<ParDefn>   A0: AtomType VOID  1:11-1:14  A43: Exprs  1:18-1:144  A42: Nodes<Expr>  1:18-1:144  A40: LetExpr  1:18-1:144  A37: Nodes<Defn>  1:22-1:58  A9: ExtFunDefn f  1:22-1:58  A8: Nodes<ParDefn>  1:27-1:53  A2: ParDefn a  1:28-1:34  A1: AtomType INT  1:32-1:34  A4: ParDefn b  1:37-1:43  A3: AtomType INT  1:41-1:43  A6: ParDefn c  1:46-1:52  A5: AtomType INT  1:50-1:52  A7: AtomType VOID  1:55-1:58  A39: Exprs  1:63-1:140  A38: Nodes<Expr>  1:63-1:140  A21: LetExpr  1:63-1:95  A18: Nodes<Defn>  1:67-1:78  A12: ExtFunDefn f  1:67-1:78  A11: Nodes<ParDefn>   A10: AtomType VOID  1:75-1:78  A20: Exprs  1:83-1:91  A19: Nodes<Expr>  1:83-1:91  A17: Exprs  1:83-1:91  A16: Nodes<Expr>  1:83-1:91  A13: NameExpr a  1:84-1:84  A14: NameExpr b  1:87-1:87  A15: NameExpr c  1:90-1:90  A36: LetExpr  1:98-1:140  A33: Nodes<Defn>  1:102-1:118  A29: DefFunDefn f  1:102-1:118  A26: Nodes<ParDefn>   A22: AtomType INT  1:110-1:112  A28: Exprs  1:116-1:118  A27: Nodes<Expr>  1:116-1:118  A25: BinExpr ADD  1:116-1:118  A23: AtomExpr 5  1:116-1:116  A24: AtomExpr 5  1:118-1:118  A35: Exprs  1:123-1:136  A34: Nodes<Expr>  1:123-1:136  A32: SizeExpr  1:123-1:136  A31: ArrType ArrType[10]  1:130-1:136  A30: AtomType INT  1:134-1:136