public IEnumerable <AST <Node> > EmitLocals() { return(locals.Select(loc => PToZing.MkZingVarDecl(loc.Item2, loc.Item1))); }