A57: Nodes<Defn>  1:1-4:13  A52: DefFunDefn funny  1:1-1:142  A49: Nodes<ParDefn>  1:10-1:27  A1: ParDefn a  1:11-1:17  A0: AtomType INT  1:15-1:17  A3: ParDefn b  1:20-1:26  A2: AtomType INT  1:24-1:26  A4: AtomType VOID  1:31-1:34  A51: Exprs  1:38-1:142  A50: Nodes<Expr>  1:38-1:142  A29: CastExpr  1:38-1:91  A10: PfxExpr PTR  1:38-1:45  A9: SfxExpr PTR  1:39-1:45  A8: CompExpr c  1:39-1:44  A7: ArrExpr  1:39-1:42  A5: NameExpr a  1:39-1:39  A6: NameExpr b  1:41-1:41  A28: UniType  1:50-1:91  A27: Nodes<CompDefn>  1:52-1:90  A15: CompDefn a  1:52-1:62  A14: UniType  1:55-1:62  A13: Nodes<CompDefn>  1:56-1:61  A12: CompDefn a  1:56-1:61  A11: AtomType INT  1:59-1:61  A26: CompDefn b  1:65-1:90  A25: FunType  1:68-1:90  A24: Nodes<Type>  1:69-1:85  A22: UniType  1:70-1:84  A21: Nodes<CompDefn>  1:71-1:83  A20: CompDefn a  1:71-1:83  A19: StrType  1:74-1:83  A18: Nodes<CompDefn>  1:76-1:82  A17: CompDefn g  1:76-1:82  A16: AtomType INT  1:80-1:82  A23: AtomType BOOL  1:86-1:89  A48: SizeExpr  1:94-1:142  A47: UniType  1:101-1:142  A46: Nodes<CompDefn>  1:103-1:141  A34: CompDefn a  1:103-1:113  A33: UniType  1:106-1:113  A32: Nodes<CompDefn>  1:107-1:112  A31: CompDefn a  1:107-1:112  A30: AtomType INT  1:110-1:112  A45: CompDefn b  1:116-1:141  A44: FunType  1:119-1:141  A43: Nodes<Type>  1:120-1:136  A41: UniType  1:121-1:135  A40: Nodes<CompDefn>  1:122-1:134  A39: CompDefn a  1:122-1:134  A38: StrType  1:125-1:134  A37: Nodes<CompDefn>  1:127-1:133  A36: CompDefn g  1:127-1:133  A35: AtomType INT  1:131-1:133  A42: AtomType BOOL  1:137-1:140  A56: TypDefn t  4:1-4:13  A55: FunType  4:9-4:13  A54: Nodes<Type>   A53: NameType t  4:12-4:12