A11: Nodes<Defn>  1:1-2:15  A7: DefFunDefn g  1:1-1:21  A4: Nodes<ParDefn>   A0: AtomType VOID  1:12-1:15  A6: Exprs  1:19-1:21  A5: Nodes<Expr>  1:19-1:21  A3: CallExpr  1:19-1:21  A1: NameExpr f  1:19-1:19 defAt: A10 @ 2:1-2:15  A2: Nodes<Expr>   A10: ExtFunDefn f  2:1-2:15  A9: Nodes<ParDefn>   A8: AtomType VOID  2:12-2:15