[clang] be0d79f - [analyzer][MacroExpansion] Fix a crash where multiple parameters resolved to __VA_ARGS__

Kristóf Umann via cfe-commits cfe-commits at lists.llvm.org
Fri Sep 11 05:08:12 PDT 2020


Author: Kristóf Umann
Date: 2020-09-11T14:07:58+02:00
New Revision: be0d79f32930fe780dc89ba96dac0ba163f7ec50

URL: https://github.com/llvm/llvm-project/commit/be0d79f32930fe780dc89ba96dac0ba163f7ec50
DIFF: https://github.com/llvm/llvm-project/commit/be0d79f32930fe780dc89ba96dac0ba163f7ec50.diff

LOG: [analyzer][MacroExpansion] Fix a crash where multiple parameters resolved to __VA_ARGS__

In short, macro expansions handled the case where a variadic parameter mapped to
multiple arguments, but not the other way around. An internal ticket was
submitted that demonstrated that we fail an assertion. Macro expansion so far
worked by lexing the source code token-by-token and using the Preprocessor to
turn these tokens into identifiers or just get their proper spelling, but what
this counter intuitively doesn't do, is actually expand these macros, so we have
to do the heavy lifting -- in this case, figure out what __VA_ARGS__ expands
into. Since this case can only occur in a nested macro, the information we
gathered from the containing macro does contain this information. If a parameter
resolves to __VA_ARGS__, we need to temporarily stop getting our tokens from the
lexer, and get the tokens from what __VA_ARGS__ maps to.

Differential Revision: https://reviews.llvm.org/D86135

Added: 
    

Modified: 
    clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
    clang/test/Analysis/Inputs/expected-plists/plist-macros-with-expansion.cpp.plist
    clang/test/Analysis/plist-macros-with-expansion.cpp

Removed: 
    


################################################################################
diff  --git a/clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp b/clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
index 87c9b8479463..441dcad42444 100644
--- a/clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
+++ b/clang/lib/StaticAnalyzer/Core/PlistDiagnostics.cpp
@@ -27,6 +27,7 @@
 #include "llvm/ADT/SmallVector.h"
 #include "llvm/ADT/Statistic.h"
 #include "llvm/Support/Casting.h"
+#include <memory>
 
 using namespace clang;
 using namespace ento;
@@ -879,6 +880,46 @@ class TokenPrinter {
   void printToken(const Token &Tok);
 };
 
+/// Wrapper around a Lexer object that can lex tokens one-by-one. Its possible
+/// to "inject" a range of tokens into the stream, in which case the next token
+/// is retrieved from the next element of the range, until the end of the range
+/// is reached.
+class TokenStream {
+public:
+  TokenStream(SourceLocation ExpanLoc, const SourceManager &SM,
+              const LangOptions &LangOpts)
+      : ExpanLoc(ExpanLoc) {
+    FileID File;
+    unsigned Offset;
+    std::tie(File, Offset) = SM.getDecomposedLoc(ExpanLoc);
+    const llvm::MemoryBuffer *MB = SM.getBuffer(File);
+    const char *MacroNameTokenPos = MB->getBufferStart() + Offset;
+
+    RawLexer = std::make_unique<Lexer>(SM.getLocForStartOfFile(File), LangOpts,
+                                       MB->getBufferStart(), MacroNameTokenPos,
+                                       MB->getBufferEnd());
+  }
+
+  void next(Token &Result) {
+    if (CurrTokenIt == TokenRange.end()) {
+      RawLexer->LexFromRawLexer(Result);
+      return;
+    }
+    Result = *CurrTokenIt;
+    CurrTokenIt++;
+  }
+
+  void injectRange(const ArgTokensTy &Range) {
+    TokenRange = Range;
+    CurrTokenIt = TokenRange.begin();
+  }
+
+  std::unique_ptr<Lexer> RawLexer;
+  ArgTokensTy TokenRange;
+  ArgTokensTy::iterator CurrTokenIt = TokenRange.begin();
+  SourceLocation ExpanLoc;
+};
+
 } // end of anonymous namespace
 
 /// The implementation method of getMacroExpansion: It prints the expansion of
@@ -933,8 +974,9 @@ static std::string getMacroNameAndPrintExpansion(
 /// When \p ExpanLoc references "SET_TO_NULL(a)" within the definition of
 /// "NOT_SUSPICOUS", the macro name "SET_TO_NULL" and the MacroArgMap map
 /// { (x, a) } will be returned.
-static MacroExpansionInfo getMacroExpansionInfo(SourceLocation ExpanLoc,
-                                                const Preprocessor &PP);
+static MacroExpansionInfo
+getMacroExpansionInfo(const MacroParamMap &PrevParamMap,
+                      SourceLocation ExpanLoc, const Preprocessor &PP);
 
 /// Retrieves the ')' token that matches '(' \p It points to.
 static MacroInfo::tokens_iterator getMatchingRParen(
@@ -980,7 +1022,7 @@ static std::string getMacroNameAndPrintExpansion(
   const SourceManager &SM = PP.getSourceManager();
 
   MacroExpansionInfo MExpInfo =
-      getMacroExpansionInfo(SM.getExpansionLoc(MacroLoc), PP);
+      getMacroExpansionInfo(PrevParamMap, SM.getExpansionLoc(MacroLoc), PP);
   IdentifierInfo *MacroNameII = PP.getIdentifierInfo(MExpInfo.Name);
 
   // TODO: If the macro definition contains another symbol then this function is
@@ -1077,24 +1119,20 @@ static std::string getMacroNameAndPrintExpansion(
   return MExpInfo.Name;
 }
 
-static MacroExpansionInfo getMacroExpansionInfo(SourceLocation ExpanLoc,
-                                                const Preprocessor &PP) {
+static MacroExpansionInfo
+getMacroExpansionInfo(const MacroParamMap &PrevParamMap,
+                      SourceLocation ExpanLoc, const Preprocessor &PP) {
 
   const SourceManager &SM = PP.getSourceManager();
   const LangOptions &LangOpts = PP.getLangOpts();
 
   // First, we create a Lexer to lex *at the expansion location* the tokens
   // referring to the macro's name and its arguments.
-  std::pair<FileID, unsigned> LocInfo = SM.getDecomposedLoc(ExpanLoc);
-  const llvm::MemoryBuffer *MB = SM.getBuffer(LocInfo.first);
-  const char *MacroNameTokenPos = MB->getBufferStart() + LocInfo.second;
-
-  Lexer RawLexer(SM.getLocForStartOfFile(LocInfo.first), LangOpts,
-                 MB->getBufferStart(), MacroNameTokenPos, MB->getBufferEnd());
+  TokenStream TStream(ExpanLoc, SM, LangOpts);
 
   // Acquire the macro's name.
   Token TheTok;
-  RawLexer.LexFromRawLexer(TheTok);
+  TStream.next(TheTok);
 
   std::string MacroName = PP.getSpelling(TheTok);
 
@@ -1122,7 +1160,7 @@ static MacroExpansionInfo getMacroExpansionInfo(SourceLocation ExpanLoc,
   if (MacroParams.empty())
     return { MacroName, MI, {} };
 
-  RawLexer.LexFromRawLexer(TheTok);
+  TStream.next(TheTok);
   // When this is a token which expands to another macro function then its
   // parentheses are not at its expansion locaiton. For example:
   //
@@ -1166,7 +1204,7 @@ static MacroExpansionInfo getMacroExpansionInfo(SourceLocation ExpanLoc,
     if (ParenthesesDepth != 0) {
 
       // Lex the first token of the next macro parameter.
-      RawLexer.LexFromRawLexer(TheTok);
+      TStream.next(TheTok);
 
       while (
           !(ParenthesesDepth == 1 &&
@@ -1183,16 +1221,38 @@ static MacroExpansionInfo getMacroExpansionInfo(SourceLocation ExpanLoc,
         if (ParenthesesDepth == 0)
           break;
 
-        if (TheTok.is(tok::raw_identifier))
+        if (TheTok.is(tok::raw_identifier)) {
           PP.LookUpIdentifierInfo(TheTok);
+          // This token is a variadic parameter:
+          //
+          //   #define PARAMS_RESOLVE_TO_VA_ARGS(i, fmt) foo(i, fmt); \
+          //     i = 0;
+          //   #define DISPATCH(...) \
+          //     PARAMS_RESOLVE_TO_VA_ARGS(__VA_ARGS__);
+          //                            // ^~~~~~~~~~~ Variadic parameter here
+          //
+          //   void mulitpleParamsResolveToVA_ARGS(void) {
+          //     int x = 1;
+          //     DISPATCH(x, "LF1M healer"); // Multiple arguments are mapped to
+          //                                 // a single __VA_ARGS__ parameter.
+          //     (void)(10 / x);
+          //   }
+          //
+          // We will stumble across this while trying to expand
+          // PARAMS_RESOLVE_TO_VA_ARGS. By this point, we already noted during
+          // the processing of DISPATCH what __VA_ARGS__ maps to, so we'll
+          // retrieve the next series of tokens from that.
+          if (TheTok.getIdentifierInfo() == __VA_ARGS__II) {
+            TStream.injectRange(PrevParamMap.at(__VA_ARGS__II));
+            TStream.next(TheTok);
+            continue;
+          }
+        }
 
         ArgTokens.push_back(TheTok);
-        RawLexer.LexFromRawLexer(TheTok);
+        TStream.next(TheTok);
       }
     } else {
-      // FIXME: Handle when multiple parameters map to a single argument.
-      // Currently, we only handle when multiple arguments map to the same
-      // parameter.
       assert(CurrParamII == __VA_ARGS__II &&
              "No more macro arguments are found, but the current parameter "
              "isn't __VA_ARGS__!");
@@ -1295,6 +1355,15 @@ static void dumpArgTokensToStream(llvm::raw_ostream &Out,
 }
 
 void TokenPrinter::printToken(const Token &Tok) {
+  // TODO: Handle GNU extensions where hash and hashhash occurs right before
+  // __VA_ARGS__.
+  // cppreference.com: "some compilers offer an extension that allows ## to
+  // appear after a comma and before __VA_ARGS__, in which case the ## does
+  // nothing when the variable arguments are present, but removes the comma when
+  // the variable arguments are not present: this makes it possible to define
+  // macros such as fprintf (stderr, format, ##__VA_ARGS__)"
+  // FIXME: Handle named variadic macro parameters (also a GNU extension).
+
   // If this is the first token to be printed, don't print space.
   if (PrevTok.isNot(tok::unknown)) {
     // If the tokens were already space separated, or if they must be to avoid

diff  --git a/clang/test/Analysis/Inputs/expected-plists/plist-macros-with-expansion.cpp.plist b/clang/test/Analysis/Inputs/expected-plists/plist-macros-with-expansion.cpp.plist
index 499119c81d25..4a2741f0d493 100644
--- a/clang/test/Analysis/Inputs/expected-plists/plist-macros-with-expansion.cpp.plist
+++ b/clang/test/Analysis/Inputs/expected-plists/plist-macros-with-expansion.cpp.plist
@@ -16,12 +16,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>25</integer>
+           <key>line</key><integer>23</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>25</integer>
+           <key>line</key><integer>23</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -29,12 +29,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>26</integer>
+           <key>line</key><integer>24</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>26</integer>
+           <key>line</key><integer>24</integer>
            <key>col</key><integer>21</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -46,7 +46,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>26</integer>
+      <key>line</key><integer>24</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -54,12 +54,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>26</integer>
+         <key>line</key><integer>24</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>26</integer>
+         <key>line</key><integer>24</integer>
          <key>col</key><integer>21</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -79,12 +79,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>27</integer>
+           <key>line</key><integer>25</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>27</integer>
+           <key>line</key><integer>25</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -92,12 +92,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>27</integer>
+           <key>line</key><integer>25</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>27</integer>
+           <key>line</key><integer>25</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -109,7 +109,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>27</integer>
+      <key>line</key><integer>25</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -117,12 +117,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>27</integer>
+         <key>line</key><integer>25</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>27</integer>
+         <key>line</key><integer>25</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -140,7 +140,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>26</integer>
+      <key>line</key><integer>24</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -159,7 +159,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>27</integer>
+   <key>line</key><integer>25</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -167,10 +167,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>22</integer>
+    <integer>23</integer>
     <integer>24</integer>
     <integer>25</integer>
-    <integer>26</integer>
-    <integer>27</integer>
    </array>
   </dict>
   </dict>
@@ -185,12 +185,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>38</integer>
+           <key>line</key><integer>36</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>38</integer>
+           <key>line</key><integer>36</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -198,12 +198,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>39</integer>
+           <key>line</key><integer>37</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>39</integer>
+           <key>line</key><integer>37</integer>
            <key>col</key><integer>39</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -215,7 +215,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>39</integer>
+      <key>line</key><integer>37</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -223,12 +223,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>39</integer>
+         <key>line</key><integer>37</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>39</integer>
+         <key>line</key><integer>37</integer>
          <key>col</key><integer>39</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -248,12 +248,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>40</integer>
+           <key>line</key><integer>38</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>40</integer>
+           <key>line</key><integer>38</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -261,12 +261,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>40</integer>
+           <key>line</key><integer>38</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>40</integer>
+           <key>line</key><integer>38</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -278,7 +278,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>40</integer>
+      <key>line</key><integer>38</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -286,12 +286,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>40</integer>
+         <key>line</key><integer>38</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>40</integer>
+         <key>line</key><integer>38</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -309,7 +309,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>39</integer>
+      <key>line</key><integer>37</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -328,7 +328,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>40</integer>
+   <key>line</key><integer>38</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -336,10 +336,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>35</integer>
+    <integer>36</integer>
     <integer>37</integer>
     <integer>38</integer>
-    <integer>39</integer>
-    <integer>40</integer>
    </array>
   </dict>
   </dict>
@@ -354,12 +354,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>58</integer>
+           <key>line</key><integer>56</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>58</integer>
+           <key>line</key><integer>56</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -367,12 +367,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>59</integer>
+           <key>line</key><integer>57</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>59</integer>
+           <key>line</key><integer>57</integer>
            <key>col</key><integer>9</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -384,7 +384,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>59</integer>
+      <key>line</key><integer>57</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -392,12 +392,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>59</integer>
+         <key>line</key><integer>57</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>59</integer>
+         <key>line</key><integer>57</integer>
          <key>col</key><integer>15</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -413,7 +413,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>50</integer>
+      <key>line</key><integer>48</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -431,12 +431,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -444,12 +444,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -461,7 +461,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>51</integer>
+      <key>line</key><integer>49</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -469,12 +469,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -490,7 +490,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>59</integer>
+      <key>line</key><integer>57</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -498,12 +498,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>59</integer>
+         <key>line</key><integer>57</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>59</integer>
+         <key>line</key><integer>57</integer>
          <key>col</key><integer>15</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -523,12 +523,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>60</integer>
+           <key>line</key><integer>58</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>60</integer>
+           <key>line</key><integer>58</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -536,12 +536,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>60</integer>
+           <key>line</key><integer>58</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>60</integer>
+           <key>line</key><integer>58</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -553,7 +553,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>60</integer>
+      <key>line</key><integer>58</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -561,12 +561,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>60</integer>
+         <key>line</key><integer>58</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>60</integer>
+         <key>line</key><integer>58</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -584,7 +584,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>59</integer>
+      <key>line</key><integer>57</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -603,7 +603,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>60</integer>
+   <key>line</key><integer>58</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -611,12 +611,12 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>50</integer>
-    <integer>51</integer>
+    <integer>48</integer>
+    <integer>49</integer>
+    <integer>55</integer>
+    <integer>56</integer>
     <integer>57</integer>
     <integer>58</integer>
-    <integer>59</integer>
-    <integer>60</integer>
    </array>
   </dict>
   </dict>
@@ -631,12 +631,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>78</integer>
+           <key>line</key><integer>76</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>78</integer>
+           <key>line</key><integer>76</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -644,12 +644,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>79</integer>
+           <key>line</key><integer>77</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>79</integer>
+           <key>line</key><integer>77</integer>
            <key>col</key><integer>9</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -661,7 +661,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>79</integer>
+      <key>line</key><integer>77</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -669,12 +669,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>79</integer>
+         <key>line</key><integer>77</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>79</integer>
+         <key>line</key><integer>77</integer>
          <key>col</key><integer>13</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -690,7 +690,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>50</integer>
+      <key>line</key><integer>48</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -708,12 +708,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -721,12 +721,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -738,7 +738,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>51</integer>
+      <key>line</key><integer>49</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -746,12 +746,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -767,7 +767,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>79</integer>
+      <key>line</key><integer>77</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -775,12 +775,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>79</integer>
+         <key>line</key><integer>77</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>79</integer>
+         <key>line</key><integer>77</integer>
          <key>col</key><integer>13</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -796,7 +796,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>80</integer>
+      <key>line</key><integer>78</integer>
       <key>col</key><integer>12</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -804,12 +804,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>80</integer>
+         <key>line</key><integer>78</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>80</integer>
+         <key>line</key><integer>78</integer>
          <key>col</key><integer>10</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -827,7 +827,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>79</integer>
+      <key>line</key><integer>77</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -837,7 +837,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>80</integer>
+      <key>line</key><integer>78</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -856,7 +856,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>80</integer>
+   <key>line</key><integer>78</integer>
    <key>col</key><integer>12</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -864,12 +864,12 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>50</integer>
-    <integer>51</integer>
+    <integer>48</integer>
+    <integer>49</integer>
+    <integer>75</integer>
+    <integer>76</integer>
     <integer>77</integer>
     <integer>78</integer>
-    <integer>79</integer>
-    <integer>80</integer>
    </array>
   </dict>
   </dict>
@@ -884,12 +884,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>97</integer>
+           <key>line</key><integer>95</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>97</integer>
+           <key>line</key><integer>95</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -897,12 +897,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>98</integer>
+           <key>line</key><integer>96</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>98</integer>
+           <key>line</key><integer>96</integer>
            <key>col</key><integer>28</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -914,7 +914,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>98</integer>
+      <key>line</key><integer>96</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -922,12 +922,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>98</integer>
+         <key>line</key><integer>96</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>98</integer>
+         <key>line</key><integer>96</integer>
          <key>col</key><integer>33</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -947,12 +947,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>99</integer>
+           <key>line</key><integer>97</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>99</integer>
+           <key>line</key><integer>97</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -960,12 +960,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>99</integer>
+           <key>line</key><integer>97</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>99</integer>
+           <key>line</key><integer>97</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -977,7 +977,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>99</integer>
+      <key>line</key><integer>97</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -985,12 +985,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>99</integer>
+         <key>line</key><integer>97</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>99</integer>
+         <key>line</key><integer>97</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1008,7 +1008,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>98</integer>
+      <key>line</key><integer>96</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1027,7 +1027,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>99</integer>
+   <key>line</key><integer>97</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -1035,10 +1035,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>94</integer>
+    <integer>95</integer>
     <integer>96</integer>
     <integer>97</integer>
-    <integer>98</integer>
-    <integer>99</integer>
    </array>
   </dict>
   </dict>
@@ -1053,12 +1053,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>114</integer>
+           <key>line</key><integer>112</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>114</integer>
+           <key>line</key><integer>112</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1066,12 +1066,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>115</integer>
+           <key>line</key><integer>113</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>115</integer>
+           <key>line</key><integer>113</integer>
            <key>col</key><integer>42</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1083,7 +1083,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>115</integer>
+      <key>line</key><integer>113</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1091,12 +1091,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>115</integer>
+         <key>line</key><integer>113</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>115</integer>
+         <key>line</key><integer>113</integer>
          <key>col</key><integer>47</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1116,12 +1116,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>116</integer>
+           <key>line</key><integer>114</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>116</integer>
+           <key>line</key><integer>114</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1129,12 +1129,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>116</integer>
+           <key>line</key><integer>114</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>116</integer>
+           <key>line</key><integer>114</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1146,7 +1146,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>116</integer>
+      <key>line</key><integer>114</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1154,12 +1154,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>116</integer>
+         <key>line</key><integer>114</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>116</integer>
+         <key>line</key><integer>114</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1177,7 +1177,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>115</integer>
+      <key>line</key><integer>113</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1196,7 +1196,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>116</integer>
+   <key>line</key><integer>114</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -1204,10 +1204,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>111</integer>
+    <integer>112</integer>
     <integer>113</integer>
     <integer>114</integer>
-    <integer>115</integer>
-    <integer>116</integer>
    </array>
   </dict>
   </dict>
@@ -1222,12 +1222,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>134</integer>
+           <key>line</key><integer>132</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>134</integer>
+           <key>line</key><integer>132</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1235,12 +1235,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>135</integer>
+           <key>line</key><integer>133</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>135</integer>
+           <key>line</key><integer>133</integer>
            <key>col</key><integer>39</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1252,7 +1252,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>135</integer>
+      <key>line</key><integer>133</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1260,12 +1260,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>135</integer>
+         <key>line</key><integer>133</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>135</integer>
+         <key>line</key><integer>133</integer>
          <key>col</key><integer>44</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1285,12 +1285,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>136</integer>
+           <key>line</key><integer>134</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>136</integer>
+           <key>line</key><integer>134</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1298,12 +1298,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>136</integer>
+           <key>line</key><integer>134</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>136</integer>
+           <key>line</key><integer>134</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1315,7 +1315,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>136</integer>
+      <key>line</key><integer>134</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1323,12 +1323,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>136</integer>
+         <key>line</key><integer>134</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>136</integer>
+         <key>line</key><integer>134</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1346,7 +1346,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>135</integer>
+      <key>line</key><integer>133</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1365,7 +1365,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>136</integer>
+   <key>line</key><integer>134</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -1373,10 +1373,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>131</integer>
+    <integer>132</integer>
     <integer>133</integer>
     <integer>134</integer>
-    <integer>135</integer>
-    <integer>136</integer>
    </array>
   </dict>
   </dict>
@@ -1391,12 +1391,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>161</integer>
+           <key>line</key><integer>159</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>161</integer>
+           <key>line</key><integer>159</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1404,12 +1404,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>162</integer>
+           <key>line</key><integer>160</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>162</integer>
+           <key>line</key><integer>160</integer>
            <key>col</key><integer>19</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1421,7 +1421,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>162</integer>
+      <key>line</key><integer>160</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1429,12 +1429,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>162</integer>
+         <key>line</key><integer>160</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>162</integer>
+         <key>line</key><integer>160</integer>
          <key>col</key><integer>52</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1454,12 +1454,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>163</integer>
+           <key>line</key><integer>161</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>163</integer>
+           <key>line</key><integer>161</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1467,12 +1467,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>163</integer>
+           <key>line</key><integer>161</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>163</integer>
+           <key>line</key><integer>161</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1484,7 +1484,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>163</integer>
+      <key>line</key><integer>161</integer>
       <key>col</key><integer>6</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1492,12 +1492,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>163</integer>
+         <key>line</key><integer>161</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>163</integer>
+         <key>line</key><integer>161</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1515,7 +1515,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>162</integer>
+      <key>line</key><integer>160</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1534,7 +1534,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>163</integer>
+   <key>line</key><integer>161</integer>
    <key>col</key><integer>6</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -1542,10 +1542,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>158</integer>
+    <integer>159</integer>
     <integer>160</integer>
     <integer>161</integer>
-    <integer>162</integer>
-    <integer>163</integer>
    </array>
   </dict>
   </dict>
@@ -1560,12 +1560,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>170</integer>
+           <key>line</key><integer>168</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>170</integer>
+           <key>line</key><integer>168</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1573,12 +1573,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>171</integer>
+           <key>line</key><integer>169</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>171</integer>
+           <key>line</key><integer>169</integer>
            <key>col</key><integer>19</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1590,7 +1590,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>171</integer>
+      <key>line</key><integer>169</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1598,12 +1598,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>171</integer>
+         <key>line</key><integer>169</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>171</integer>
+         <key>line</key><integer>169</integer>
          <key>col</key><integer>52</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1623,12 +1623,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>172</integer>
+           <key>line</key><integer>170</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>172</integer>
+           <key>line</key><integer>170</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1636,12 +1636,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>172</integer>
+           <key>line</key><integer>170</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>172</integer>
+           <key>line</key><integer>170</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1653,7 +1653,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>172</integer>
+      <key>line</key><integer>170</integer>
       <key>col</key><integer>6</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1661,12 +1661,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>172</integer>
+         <key>line</key><integer>170</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>172</integer>
+         <key>line</key><integer>170</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1684,7 +1684,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>171</integer>
+      <key>line</key><integer>169</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1703,7 +1703,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>172</integer>
+   <key>line</key><integer>170</integer>
    <key>col</key><integer>6</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -1711,10 +1711,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>167</integer>
+    <integer>168</integer>
     <integer>169</integer>
     <integer>170</integer>
-    <integer>171</integer>
-    <integer>172</integer>
    </array>
   </dict>
   </dict>
@@ -1729,12 +1729,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>179</integer>
+           <key>line</key><integer>177</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>179</integer>
+           <key>line</key><integer>177</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1742,12 +1742,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>180</integer>
+           <key>line</key><integer>178</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>180</integer>
+           <key>line</key><integer>178</integer>
            <key>col</key><integer>19</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1759,7 +1759,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>180</integer>
+      <key>line</key><integer>178</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1767,12 +1767,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>180</integer>
+         <key>line</key><integer>178</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>180</integer>
+         <key>line</key><integer>178</integer>
          <key>col</key><integer>52</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1792,12 +1792,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>181</integer>
+           <key>line</key><integer>179</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>181</integer>
+           <key>line</key><integer>179</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1805,12 +1805,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>181</integer>
+           <key>line</key><integer>179</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>181</integer>
+           <key>line</key><integer>179</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1822,7 +1822,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>181</integer>
+      <key>line</key><integer>179</integer>
       <key>col</key><integer>6</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1830,12 +1830,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>181</integer>
+         <key>line</key><integer>179</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>181</integer>
+         <key>line</key><integer>179</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1853,7 +1853,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>180</integer>
+      <key>line</key><integer>178</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1872,7 +1872,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>181</integer>
+   <key>line</key><integer>179</integer>
    <key>col</key><integer>6</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -1880,10 +1880,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>176</integer>
+    <integer>177</integer>
     <integer>178</integer>
     <integer>179</integer>
-    <integer>180</integer>
-    <integer>181</integer>
    </array>
   </dict>
   </dict>
@@ -1898,12 +1898,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>193</integer>
+           <key>line</key><integer>191</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>193</integer>
+           <key>line</key><integer>191</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1911,12 +1911,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>194</integer>
+           <key>line</key><integer>192</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>194</integer>
+           <key>line</key><integer>192</integer>
            <key>col</key><integer>15</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1928,7 +1928,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>194</integer>
+      <key>line</key><integer>192</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1936,12 +1936,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>194</integer>
+         <key>line</key><integer>192</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>194</integer>
+         <key>line</key><integer>192</integer>
          <key>col</key><integer>30</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -1957,7 +1957,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>50</integer>
+      <key>line</key><integer>48</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -1975,12 +1975,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -1988,12 +1988,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2005,7 +2005,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>51</integer>
+      <key>line</key><integer>49</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2013,12 +2013,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2034,7 +2034,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>194</integer>
+      <key>line</key><integer>192</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2042,12 +2042,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>194</integer>
+         <key>line</key><integer>192</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>194</integer>
+         <key>line</key><integer>192</integer>
          <key>col</key><integer>30</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2067,12 +2067,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>195</integer>
+           <key>line</key><integer>193</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>195</integer>
+           <key>line</key><integer>193</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2080,12 +2080,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>195</integer>
+           <key>line</key><integer>193</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>195</integer>
+           <key>line</key><integer>193</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2097,7 +2097,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>195</integer>
+      <key>line</key><integer>193</integer>
       <key>col</key><integer>6</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2105,12 +2105,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>195</integer>
+         <key>line</key><integer>193</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>195</integer>
+         <key>line</key><integer>193</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2128,7 +2128,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>194</integer>
+      <key>line</key><integer>192</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2147,7 +2147,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>195</integer>
+   <key>line</key><integer>193</integer>
    <key>col</key><integer>6</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -2155,12 +2155,12 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>50</integer>
-    <integer>51</integer>
+    <integer>48</integer>
+    <integer>49</integer>
+    <integer>190</integer>
+    <integer>191</integer>
     <integer>192</integer>
     <integer>193</integer>
-    <integer>194</integer>
-    <integer>195</integer>
    </array>
   </dict>
   </dict>
@@ -2175,12 +2175,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>207</integer>
+           <key>line</key><integer>205</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>207</integer>
+           <key>line</key><integer>205</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2188,12 +2188,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>208</integer>
+           <key>line</key><integer>206</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>208</integer>
+           <key>line</key><integer>206</integer>
            <key>col</key><integer>15</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2205,7 +2205,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>208</integer>
+      <key>line</key><integer>206</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2213,12 +2213,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>208</integer>
+         <key>line</key><integer>206</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>208</integer>
+         <key>line</key><integer>206</integer>
          <key>col</key><integer>48</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2234,7 +2234,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>201</integer>
+      <key>line</key><integer>199</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2252,12 +2252,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>201</integer>
+           <key>line</key><integer>199</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>201</integer>
+           <key>line</key><integer>199</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2265,12 +2265,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>202</integer>
+           <key>line</key><integer>200</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>202</integer>
+           <key>line</key><integer>200</integer>
            <key>col</key><integer>11</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2282,7 +2282,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>202</integer>
+      <key>line</key><integer>200</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2290,12 +2290,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>202</integer>
+         <key>line</key><integer>200</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>202</integer>
+         <key>line</key><integer>200</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2311,7 +2311,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>50</integer>
+      <key>line</key><integer>48</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2329,12 +2329,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2342,12 +2342,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2359,7 +2359,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>51</integer>
+      <key>line</key><integer>49</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2367,12 +2367,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2388,7 +2388,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>202</integer>
+      <key>line</key><integer>200</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2396,12 +2396,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>202</integer>
+         <key>line</key><integer>200</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>202</integer>
+         <key>line</key><integer>200</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2421,12 +2421,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>202</integer>
+           <key>line</key><integer>200</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>202</integer>
+           <key>line</key><integer>200</integer>
            <key>col</key><integer>11</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2434,12 +2434,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>203</integer>
+           <key>line</key><integer>201</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>203</integer>
+           <key>line</key><integer>201</integer>
            <key>col</key><integer>7</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2451,7 +2451,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>208</integer>
+      <key>line</key><integer>206</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2459,12 +2459,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>208</integer>
+         <key>line</key><integer>206</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>208</integer>
+         <key>line</key><integer>206</integer>
          <key>col</key><integer>48</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2484,12 +2484,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>209</integer>
+           <key>line</key><integer>207</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>209</integer>
+           <key>line</key><integer>207</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2497,12 +2497,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>209</integer>
+           <key>line</key><integer>207</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>209</integer>
+           <key>line</key><integer>207</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2514,7 +2514,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>209</integer>
+      <key>line</key><integer>207</integer>
       <key>col</key><integer>6</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2522,12 +2522,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>209</integer>
+         <key>line</key><integer>207</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>209</integer>
+         <key>line</key><integer>207</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2545,7 +2545,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>208</integer>
+      <key>line</key><integer>206</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2564,7 +2564,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>209</integer>
+   <key>line</key><integer>207</integer>
    <key>col</key><integer>6</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -2572,15 +2572,15 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>50</integer>
-    <integer>51</integer>
+    <integer>48</integer>
+    <integer>49</integer>
+    <integer>199</integer>
+    <integer>200</integer>
     <integer>201</integer>
-    <integer>202</integer>
-    <integer>203</integer>
+    <integer>204</integer>
+    <integer>205</integer>
     <integer>206</integer>
     <integer>207</integer>
-    <integer>208</integer>
-    <integer>209</integer>
    </array>
   </dict>
   </dict>
@@ -2595,12 +2595,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>219</integer>
+           <key>line</key><integer>217</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>219</integer>
+           <key>line</key><integer>217</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2608,12 +2608,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>220</integer>
+           <key>line</key><integer>218</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>220</integer>
+           <key>line</key><integer>218</integer>
            <key>col</key><integer>31</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2625,7 +2625,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>220</integer>
+      <key>line</key><integer>218</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2633,12 +2633,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>220</integer>
+         <key>line</key><integer>218</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>220</integer>
+         <key>line</key><integer>218</integer>
          <key>col</key><integer>64</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2654,7 +2654,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>201</integer>
+      <key>line</key><integer>199</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2672,12 +2672,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>201</integer>
+           <key>line</key><integer>199</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>201</integer>
+           <key>line</key><integer>199</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2685,12 +2685,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>202</integer>
+           <key>line</key><integer>200</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>202</integer>
+           <key>line</key><integer>200</integer>
            <key>col</key><integer>11</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2702,7 +2702,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>202</integer>
+      <key>line</key><integer>200</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2710,12 +2710,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>202</integer>
+         <key>line</key><integer>200</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>202</integer>
+         <key>line</key><integer>200</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2731,7 +2731,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>50</integer>
+      <key>line</key><integer>48</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2749,12 +2749,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2762,12 +2762,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2779,7 +2779,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>51</integer>
+      <key>line</key><integer>49</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2787,12 +2787,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2808,7 +2808,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>202</integer>
+      <key>line</key><integer>200</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2816,12 +2816,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>202</integer>
+         <key>line</key><integer>200</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>202</integer>
+         <key>line</key><integer>200</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2841,12 +2841,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>202</integer>
+           <key>line</key><integer>200</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>202</integer>
+           <key>line</key><integer>200</integer>
            <key>col</key><integer>11</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2854,12 +2854,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>203</integer>
+           <key>line</key><integer>201</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>203</integer>
+           <key>line</key><integer>201</integer>
            <key>col</key><integer>7</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2871,7 +2871,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>220</integer>
+      <key>line</key><integer>218</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2879,12 +2879,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>220</integer>
+         <key>line</key><integer>218</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>220</integer>
+         <key>line</key><integer>218</integer>
          <key>col</key><integer>64</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2904,12 +2904,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>221</integer>
+           <key>line</key><integer>219</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>221</integer>
+           <key>line</key><integer>219</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2917,12 +2917,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>221</integer>
+           <key>line</key><integer>219</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>221</integer>
+           <key>line</key><integer>219</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -2934,7 +2934,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>221</integer>
+      <key>line</key><integer>219</integer>
       <key>col</key><integer>6</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2942,12 +2942,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>221</integer>
+         <key>line</key><integer>219</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>221</integer>
+         <key>line</key><integer>219</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -2965,7 +2965,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>220</integer>
+      <key>line</key><integer>218</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -2984,7 +2984,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>221</integer>
+   <key>line</key><integer>219</integer>
    <key>col</key><integer>6</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -2992,15 +2992,15 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>50</integer>
-    <integer>51</integer>
+    <integer>48</integer>
+    <integer>49</integer>
+    <integer>199</integer>
+    <integer>200</integer>
     <integer>201</integer>
-    <integer>202</integer>
-    <integer>203</integer>
+    <integer>216</integer>
+    <integer>217</integer>
     <integer>218</integer>
     <integer>219</integer>
-    <integer>220</integer>
-    <integer>221</integer>
    </array>
   </dict>
   </dict>
@@ -3015,12 +3015,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>231</integer>
+           <key>line</key><integer>229</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>231</integer>
+           <key>line</key><integer>229</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3028,12 +3028,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>235</integer>
+           <key>line</key><integer>233</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>235</integer>
+           <key>line</key><integer>233</integer>
            <key>col</key><integer>13</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3045,7 +3045,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>235</integer>
+      <key>line</key><integer>233</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3053,12 +3053,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>235</integer>
+         <key>line</key><integer>233</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>235</integer>
+         <key>line</key><integer>233</integer>
          <key>col</key><integer>58</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3074,7 +3074,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>235</integer>
+      <key>line</key><integer>233</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3088,7 +3088,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>235</integer>
+      <key>line</key><integer>233</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3096,12 +3096,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>235</integer>
+         <key>line</key><integer>233</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>235</integer>
+         <key>line</key><integer>233</integer>
          <key>col</key><integer>58</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3117,7 +3117,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>50</integer>
+      <key>line</key><integer>48</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3135,12 +3135,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3148,12 +3148,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3165,7 +3165,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>51</integer>
+      <key>line</key><integer>49</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3173,12 +3173,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3194,7 +3194,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>235</integer>
+      <key>line</key><integer>233</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3202,12 +3202,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>235</integer>
+         <key>line</key><integer>233</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>235</integer>
+         <key>line</key><integer>233</integer>
          <key>col</key><integer>58</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3223,7 +3223,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>235</integer>
+      <key>line</key><integer>233</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3231,12 +3231,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>235</integer>
+         <key>line</key><integer>233</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>235</integer>
+         <key>line</key><integer>233</integer>
          <key>col</key><integer>58</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3256,12 +3256,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>236</integer>
+           <key>line</key><integer>234</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>236</integer>
+           <key>line</key><integer>234</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3269,12 +3269,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>236</integer>
+           <key>line</key><integer>234</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>236</integer>
+           <key>line</key><integer>234</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3286,7 +3286,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>236</integer>
+      <key>line</key><integer>234</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3294,12 +3294,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>236</integer>
+         <key>line</key><integer>234</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>236</integer>
+         <key>line</key><integer>234</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3317,7 +3317,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>235</integer>
+      <key>line</key><integer>233</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3327,7 +3327,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>235</integer>
+      <key>line</key><integer>233</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3346,7 +3346,7 @@
   <key>issue_hash_function_offset</key><string>6</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>236</integer>
+   <key>line</key><integer>234</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -3354,13 +3354,13 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>50</integer>
-    <integer>51</integer>
+    <integer>48</integer>
+    <integer>49</integer>
+    <integer>228</integer>
+    <integer>229</integer>
     <integer>230</integer>
-    <integer>231</integer>
-    <integer>232</integer>
-    <integer>235</integer>
-    <integer>236</integer>
+    <integer>233</integer>
+    <integer>234</integer>
    </array>
   </dict>
   </dict>
@@ -3371,7 +3371,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>246</integer>
+      <key>line</key><integer>244</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3379,12 +3379,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>246</integer>
+         <key>line</key><integer>244</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>254</integer>
+         <key>line</key><integer>252</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3400,7 +3400,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>246</integer>
+      <key>line</key><integer>244</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3408,12 +3408,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>246</integer>
+         <key>line</key><integer>244</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>254</integer>
+         <key>line</key><integer>252</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3431,7 +3431,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>246</integer>
+      <key>line</key><integer>244</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3450,7 +3450,7 @@
   <key>issue_hash_function_offset</key><string>1</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>246</integer>
+   <key>line</key><integer>244</integer>
    <key>col</key><integer>3</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -3458,8 +3458,8 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>245</integer>
-    <integer>246</integer>
+    <integer>243</integer>
+    <integer>244</integer>
    </array>
   </dict>
   </dict>
@@ -3474,12 +3474,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>268</integer>
+           <key>line</key><integer>266</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>268</integer>
+           <key>line</key><integer>266</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3487,12 +3487,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>270</integer>
+           <key>line</key><integer>268</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>270</integer>
+           <key>line</key><integer>268</integer>
            <key>col</key><integer>25</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3504,7 +3504,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>270</integer>
+      <key>line</key><integer>268</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3512,12 +3512,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>270</integer>
+         <key>line</key><integer>268</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>270</integer>
+         <key>line</key><integer>268</integer>
          <key>col</key><integer>31</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3537,12 +3537,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>271</integer>
+           <key>line</key><integer>269</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>271</integer>
+           <key>line</key><integer>269</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3550,12 +3550,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>271</integer>
+           <key>line</key><integer>269</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>271</integer>
+           <key>line</key><integer>269</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3567,7 +3567,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>271</integer>
+      <key>line</key><integer>269</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3575,12 +3575,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>271</integer>
+         <key>line</key><integer>269</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>271</integer>
+         <key>line</key><integer>269</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3598,7 +3598,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>270</integer>
+      <key>line</key><integer>268</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3617,7 +3617,7 @@
   <key>issue_hash_function_offset</key><string>4</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>271</integer>
+   <key>line</key><integer>269</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -3625,10 +3625,10 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>267</integer>
+    <integer>265</integer>
+    <integer>266</integer>
     <integer>268</integer>
-    <integer>270</integer>
-    <integer>271</integer>
+    <integer>269</integer>
    </array>
   </dict>
   </dict>
@@ -3643,12 +3643,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>282</integer>
+           <key>line</key><integer>280</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>282</integer>
+           <key>line</key><integer>280</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3656,12 +3656,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>284</integer>
+           <key>line</key><integer>282</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>284</integer>
+           <key>line</key><integer>282</integer>
            <key>col</key><integer>20</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3673,7 +3673,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>284</integer>
+      <key>line</key><integer>282</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3681,12 +3681,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>284</integer>
+         <key>line</key><integer>282</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>284</integer>
+         <key>line</key><integer>282</integer>
          <key>col</key><integer>27</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3706,12 +3706,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>285</integer>
+           <key>line</key><integer>283</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>285</integer>
+           <key>line</key><integer>283</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3719,12 +3719,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>285</integer>
+           <key>line</key><integer>283</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>285</integer>
+           <key>line</key><integer>283</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3736,7 +3736,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>285</integer>
+      <key>line</key><integer>283</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3744,12 +3744,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>285</integer>
+         <key>line</key><integer>283</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>285</integer>
+         <key>line</key><integer>283</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3767,7 +3767,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>284</integer>
+      <key>line</key><integer>282</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3786,7 +3786,7 @@
   <key>issue_hash_function_offset</key><string>4</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>285</integer>
+   <key>line</key><integer>283</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -3794,10 +3794,10 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>281</integer>
+    <integer>279</integer>
+    <integer>280</integer>
     <integer>282</integer>
-    <integer>284</integer>
-    <integer>285</integer>
+    <integer>283</integer>
    </array>
   </dict>
   </dict>
@@ -3812,12 +3812,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>295</integer>
+           <key>line</key><integer>293</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>295</integer>
+           <key>line</key><integer>293</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3825,12 +3825,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>296</integer>
+           <key>line</key><integer>294</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>296</integer>
+           <key>line</key><integer>294</integer>
            <key>col</key><integer>44</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3842,7 +3842,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>296</integer>
+      <key>line</key><integer>294</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3850,12 +3850,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>296</integer>
+         <key>line</key><integer>294</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>296</integer>
+         <key>line</key><integer>294</integer>
          <key>col</key><integer>61</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3871,7 +3871,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>50</integer>
+      <key>line</key><integer>48</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3889,12 +3889,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>50</integer>
+           <key>line</key><integer>48</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3902,12 +3902,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>51</integer>
+           <key>line</key><integer>49</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3919,7 +3919,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>51</integer>
+      <key>line</key><integer>49</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3927,12 +3927,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>51</integer>
+         <key>line</key><integer>49</integer>
          <key>col</key><integer>17</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3948,7 +3948,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>296</integer>
+      <key>line</key><integer>294</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -3956,12 +3956,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>296</integer>
+         <key>line</key><integer>294</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>296</integer>
+         <key>line</key><integer>294</integer>
          <key>col</key><integer>61</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -3981,12 +3981,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>297</integer>
+           <key>line</key><integer>295</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>297</integer>
+           <key>line</key><integer>295</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -3994,12 +3994,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>297</integer>
+           <key>line</key><integer>295</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>297</integer>
+           <key>line</key><integer>295</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4011,7 +4011,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>297</integer>
+      <key>line</key><integer>295</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4019,12 +4019,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>297</integer>
+         <key>line</key><integer>295</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>297</integer>
+         <key>line</key><integer>295</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4042,7 +4042,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>296</integer>
+      <key>line</key><integer>294</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4061,7 +4061,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>297</integer>
+   <key>line</key><integer>295</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -4069,12 +4069,12 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>50</integer>
-    <integer>51</integer>
+    <integer>48</integer>
+    <integer>49</integer>
+    <integer>292</integer>
+    <integer>293</integer>
     <integer>294</integer>
     <integer>295</integer>
-    <integer>296</integer>
-    <integer>297</integer>
    </array>
   </dict>
   </dict>
@@ -4089,12 +4089,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>315</integer>
+           <key>line</key><integer>313</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>315</integer>
+           <key>line</key><integer>313</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4102,12 +4102,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>316</integer>
+           <key>line</key><integer>314</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>316</integer>
+           <key>line</key><integer>314</integer>
            <key>col</key><integer>22</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4119,7 +4119,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>316</integer>
+      <key>line</key><integer>314</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4127,12 +4127,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>316</integer>
+         <key>line</key><integer>314</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>316</integer>
+         <key>line</key><integer>314</integer>
          <key>col</key><integer>42</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4152,12 +4152,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>317</integer>
+           <key>line</key><integer>315</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>317</integer>
+           <key>line</key><integer>315</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4165,12 +4165,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>317</integer>
+           <key>line</key><integer>315</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>317</integer>
+           <key>line</key><integer>315</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4182,7 +4182,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>317</integer>
+      <key>line</key><integer>315</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4190,12 +4190,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>317</integer>
+         <key>line</key><integer>315</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>317</integer>
+         <key>line</key><integer>315</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4213,7 +4213,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>316</integer>
+      <key>line</key><integer>314</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4232,7 +4232,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>317</integer>
+   <key>line</key><integer>315</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -4240,10 +4240,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>312</integer>
+    <integer>313</integer>
     <integer>314</integer>
     <integer>315</integer>
-    <integer>316</integer>
-    <integer>317</integer>
    </array>
   </dict>
   </dict>
@@ -4258,12 +4258,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>324</integer>
+           <key>line</key><integer>322</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>324</integer>
+           <key>line</key><integer>322</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4271,12 +4271,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>327</integer>
+           <key>line</key><integer>325</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>327</integer>
+           <key>line</key><integer>325</integer>
            <key>col</key><integer>22</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4288,7 +4288,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>327</integer>
+      <key>line</key><integer>325</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4296,12 +4296,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>327</integer>
+         <key>line</key><integer>325</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>327</integer>
+         <key>line</key><integer>325</integer>
          <key>col</key><integer>27</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4321,12 +4321,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>328</integer>
+           <key>line</key><integer>326</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>328</integer>
+           <key>line</key><integer>326</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4334,12 +4334,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>328</integer>
+           <key>line</key><integer>326</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>328</integer>
+           <key>line</key><integer>326</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4351,7 +4351,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>328</integer>
+      <key>line</key><integer>326</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4359,12 +4359,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>328</integer>
+         <key>line</key><integer>326</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>328</integer>
+         <key>line</key><integer>326</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4382,7 +4382,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>327</integer>
+      <key>line</key><integer>325</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4401,7 +4401,7 @@
   <key>issue_hash_function_offset</key><string>5</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>328</integer>
+   <key>line</key><integer>326</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -4409,10 +4409,10 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>323</integer>
-    <integer>324</integer>
-    <integer>327</integer>
-    <integer>328</integer>
+    <integer>321</integer>
+    <integer>322</integer>
+    <integer>325</integer>
+    <integer>326</integer>
    </array>
   </dict>
   </dict>
@@ -4427,12 +4427,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>343</integer>
+           <key>line</key><integer>341</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>343</integer>
+           <key>line</key><integer>341</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4440,12 +4440,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>344</integer>
+           <key>line</key><integer>342</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>344</integer>
+           <key>line</key><integer>342</integer>
            <key>col</key><integer>30</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4457,7 +4457,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>344</integer>
+      <key>line</key><integer>342</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4465,12 +4465,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>344</integer>
+         <key>line</key><integer>342</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>344</integer>
+         <key>line</key><integer>342</integer>
          <key>col</key><integer>45</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4490,12 +4490,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>345</integer>
+           <key>line</key><integer>343</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>345</integer>
+           <key>line</key><integer>343</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4503,12 +4503,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>345</integer>
+           <key>line</key><integer>343</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>345</integer>
+           <key>line</key><integer>343</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4520,7 +4520,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>345</integer>
+      <key>line</key><integer>343</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4528,12 +4528,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>345</integer>
+         <key>line</key><integer>343</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>345</integer>
+         <key>line</key><integer>343</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4551,7 +4551,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>344</integer>
+      <key>line</key><integer>342</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4570,7 +4570,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>345</integer>
+   <key>line</key><integer>343</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -4578,10 +4578,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>340</integer>
+    <integer>341</integer>
     <integer>342</integer>
     <integer>343</integer>
-    <integer>344</integer>
-    <integer>345</integer>
    </array>
   </dict>
   </dict>
@@ -4596,12 +4596,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>352</integer>
+           <key>line</key><integer>350</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>352</integer>
+           <key>line</key><integer>350</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4609,12 +4609,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>353</integer>
+           <key>line</key><integer>351</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>353</integer>
+           <key>line</key><integer>351</integer>
            <key>col</key><integer>19</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4626,7 +4626,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>353</integer>
+      <key>line</key><integer>351</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4634,12 +4634,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>353</integer>
+         <key>line</key><integer>351</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>353</integer>
+         <key>line</key><integer>351</integer>
          <key>col</key><integer>53</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4659,12 +4659,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>354</integer>
+           <key>line</key><integer>352</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>354</integer>
+           <key>line</key><integer>352</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4672,12 +4672,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>354</integer>
+           <key>line</key><integer>352</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>354</integer>
+           <key>line</key><integer>352</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4689,7 +4689,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>354</integer>
+      <key>line</key><integer>352</integer>
       <key>col</key><integer>6</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4697,12 +4697,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>354</integer>
+         <key>line</key><integer>352</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>354</integer>
+         <key>line</key><integer>352</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4720,7 +4720,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>353</integer>
+      <key>line</key><integer>351</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4739,7 +4739,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>354</integer>
+   <key>line</key><integer>352</integer>
    <key>col</key><integer>6</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -4747,10 +4747,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>349</integer>
+    <integer>350</integer>
     <integer>351</integer>
     <integer>352</integer>
-    <integer>353</integer>
-    <integer>354</integer>
    </array>
   </dict>
   </dict>
@@ -4765,12 +4765,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>365</integer>
+           <key>line</key><integer>363</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>365</integer>
+           <key>line</key><integer>363</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4778,12 +4778,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>366</integer>
+           <key>line</key><integer>364</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>366</integer>
+           <key>line</key><integer>364</integer>
            <key>col</key><integer>11</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4795,7 +4795,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>366</integer>
+      <key>line</key><integer>364</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4803,12 +4803,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>366</integer>
+         <key>line</key><integer>364</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>366</integer>
+         <key>line</key><integer>364</integer>
          <key>col</key><integer>23</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4828,12 +4828,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>367</integer>
+           <key>line</key><integer>365</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>367</integer>
+           <key>line</key><integer>365</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4841,12 +4841,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>367</integer>
+           <key>line</key><integer>365</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>367</integer>
+           <key>line</key><integer>365</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4858,7 +4858,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>367</integer>
+      <key>line</key><integer>365</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4866,12 +4866,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>367</integer>
+         <key>line</key><integer>365</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>367</integer>
+         <key>line</key><integer>365</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4889,7 +4889,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>366</integer>
+      <key>line</key><integer>364</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4908,7 +4908,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>367</integer>
+   <key>line</key><integer>365</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -4916,10 +4916,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>362</integer>
+    <integer>363</integer>
     <integer>364</integer>
     <integer>365</integer>
-    <integer>366</integer>
-    <integer>367</integer>
    </array>
   </dict>
   </dict>
@@ -4934,12 +4934,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>374</integer>
+           <key>line</key><integer>372</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>374</integer>
+           <key>line</key><integer>372</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4947,12 +4947,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>375</integer>
+           <key>line</key><integer>373</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>375</integer>
+           <key>line</key><integer>373</integer>
            <key>col</key><integer>19</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -4964,7 +4964,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>375</integer>
+      <key>line</key><integer>373</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -4972,12 +4972,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>375</integer>
+         <key>line</key><integer>373</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>375</integer>
+         <key>line</key><integer>373</integer>
          <key>col</key><integer>52</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -4997,12 +4997,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>376</integer>
+           <key>line</key><integer>374</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>376</integer>
+           <key>line</key><integer>374</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5010,12 +5010,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>376</integer>
+           <key>line</key><integer>374</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>376</integer>
+           <key>line</key><integer>374</integer>
            <key>col</key><integer>6</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5027,7 +5027,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>376</integer>
+      <key>line</key><integer>374</integer>
       <key>col</key><integer>6</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5035,12 +5035,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>376</integer>
+         <key>line</key><integer>374</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>376</integer>
+         <key>line</key><integer>374</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5058,7 +5058,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>375</integer>
+      <key>line</key><integer>373</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5077,7 +5077,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>376</integer>
+   <key>line</key><integer>374</integer>
    <key>col</key><integer>6</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -5085,10 +5085,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>371</integer>
+    <integer>372</integer>
     <integer>373</integer>
     <integer>374</integer>
-    <integer>375</integer>
-    <integer>376</integer>
    </array>
   </dict>
   </dict>
@@ -5103,12 +5103,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>422</integer>
+           <key>line</key><integer>420</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>422</integer>
+           <key>line</key><integer>420</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5116,12 +5116,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>422</integer>
+           <key>line</key><integer>420</integer>
            <key>col</key><integer>18</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>422</integer>
+           <key>line</key><integer>420</integer>
            <key>col</key><integer>43</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5133,7 +5133,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>422</integer>
+      <key>line</key><integer>420</integer>
       <key>col</key><integer>18</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5141,12 +5141,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>422</integer>
+         <key>line</key><integer>420</integer>
          <key>col</key><integer>18</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>422</integer>
+         <key>line</key><integer>420</integer>
          <key>col</key><integer>49</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5162,7 +5162,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>417</integer>
+      <key>line</key><integer>415</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5180,12 +5180,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>417</integer>
+           <key>line</key><integer>415</integer>
            <key>col</key><integer>1</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>417</integer>
+           <key>line</key><integer>415</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5193,12 +5193,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>418</integer>
+           <key>line</key><integer>416</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>418</integer>
+           <key>line</key><integer>416</integer>
            <key>col</key><integer>21</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5210,7 +5210,7 @@
      <key>kind</key><string>pop-up</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>418</integer>
+      <key>line</key><integer>416</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5218,12 +5218,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>418</integer>
+         <key>line</key><integer>416</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>418</integer>
+         <key>line</key><integer>416</integer>
          <key>col</key><integer>27</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5238,7 +5238,7 @@
      <key>kind</key><string>pop-up</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>418</integer>
+      <key>line</key><integer>416</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5246,12 +5246,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>418</integer>
+         <key>line</key><integer>416</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>418</integer>
+         <key>line</key><integer>416</integer>
          <key>col</key><integer>27</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5266,7 +5266,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>418</integer>
+      <key>line</key><integer>416</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5274,12 +5274,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>418</integer>
+         <key>line</key><integer>416</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>418</integer>
+         <key>line</key><integer>416</integer>
          <key>col</key><integer>27</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5297,7 +5297,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>418</integer>
+      <key>line</key><integer>416</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5316,7 +5316,7 @@
   <key>issue_hash_function_offset</key><string>1</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>418</integer>
+   <key>line</key><integer>416</integer>
    <key>col</key><integer>3</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -5324,10 +5324,10 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>417</integer>
-    <integer>418</integer>
-    <integer>421</integer>
-    <integer>422</integer>
+    <integer>415</integer>
+    <integer>416</integer>
+    <integer>419</integer>
+    <integer>420</integer>
    </array>
   </dict>
   </dict>
@@ -5342,12 +5342,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>437</integer>
+           <key>line</key><integer>435</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>437</integer>
+           <key>line</key><integer>435</integer>
            <key>col</key><integer>5</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5355,12 +5355,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>438</integer>
+           <key>line</key><integer>436</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>438</integer>
+           <key>line</key><integer>436</integer>
            <key>col</key><integer>25</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5372,7 +5372,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>438</integer>
+      <key>line</key><integer>436</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5380,12 +5380,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>438</integer>
+         <key>line</key><integer>436</integer>
          <key>col</key><integer>3</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>438</integer>
+         <key>line</key><integer>436</integer>
          <key>col</key><integer>67</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5405,12 +5405,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>439</integer>
+           <key>line</key><integer>437</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>439</integer>
+           <key>line</key><integer>437</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5418,12 +5418,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>439</integer>
+           <key>line</key><integer>437</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>439</integer>
+           <key>line</key><integer>437</integer>
            <key>col</key><integer>8</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5435,7 +5435,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>439</integer>
+      <key>line</key><integer>437</integer>
       <key>col</key><integer>8</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5443,12 +5443,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>439</integer>
+         <key>line</key><integer>437</integer>
          <key>col</key><integer>4</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>439</integer>
+         <key>line</key><integer>437</integer>
          <key>col</key><integer>6</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5466,7 +5466,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>438</integer>
+      <key>line</key><integer>436</integer>
       <key>col</key><integer>3</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5485,7 +5485,7 @@
   <key>issue_hash_function_offset</key><string>3</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>439</integer>
+   <key>line</key><integer>437</integer>
    <key>col</key><integer>8</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -5493,10 +5493,10 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>434</integer>
+    <integer>435</integer>
     <integer>436</integer>
     <integer>437</integer>
-    <integer>438</integer>
-    <integer>439</integer>
    </array>
   </dict>
   </dict>
@@ -5511,12 +5511,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>450</integer>
+           <key>line</key><integer>448</integer>
            <key>col</key><integer>3</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>450</integer>
+           <key>line</key><integer>448</integer>
            <key>col</key><integer>4</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5524,12 +5524,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>450</integer>
+           <key>line</key><integer>448</integer>
            <key>col</key><integer>7</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>450</integer>
+           <key>line</key><integer>448</integer>
            <key>col</key><integer>11</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5541,7 +5541,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>450</integer>
+      <key>line</key><integer>448</integer>
       <key>col</key><integer>7</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5549,12 +5549,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>450</integer>
+         <key>line</key><integer>448</integer>
          <key>col</key><integer>7</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>450</integer>
+         <key>line</key><integer>448</integer>
          <key>col</key><integer>16</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5570,7 +5570,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>451</integer>
+      <key>line</key><integer>449</integer>
       <key>col</key><integer>7</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5578,12 +5578,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>451</integer>
+         <key>line</key><integer>449</integer>
          <key>col</key><integer>5</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>451</integer>
+         <key>line</key><integer>449</integer>
          <key>col</key><integer>13</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5601,7 +5601,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>450</integer>
+      <key>line</key><integer>448</integer>
       <key>col</key><integer>7</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5620,7 +5620,7 @@
   <key>issue_hash_function_offset</key><string>2</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>451</integer>
+   <key>line</key><integer>449</integer>
    <key>col</key><integer>7</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -5628,9 +5628,9 @@
   <dict>
    <key>0</key>
    <array>
+    <integer>447</integer>
+    <integer>448</integer>
     <integer>449</integer>
-    <integer>450</integer>
-    <integer>451</integer>
    </array>
   </dict>
   </dict>
@@ -5645,12 +5645,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>462</integer>
+           <key>line</key><integer>460</integer>
            <key>col</key><integer>33</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>462</integer>
+           <key>line</key><integer>460</integer>
            <key>col</key><integer>33</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5658,12 +5658,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>462</integer>
+           <key>line</key><integer>460</integer>
            <key>col</key><integer>37</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>462</integer>
+           <key>line</key><integer>460</integer>
            <key>col</key><integer>39</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5675,7 +5675,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>462</integer>
+      <key>line</key><integer>460</integer>
       <key>col</key><integer>37</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5683,12 +5683,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>462</integer>
+         <key>line</key><integer>460</integer>
          <key>col</key><integer>37</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>462</integer>
+         <key>line</key><integer>460</integer>
          <key>col</key><integer>41</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5704,7 +5704,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>461</integer>
+      <key>line</key><integer>459</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5718,7 +5718,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>461</integer>
+      <key>line</key><integer>459</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5726,12 +5726,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>461</integer>
+         <key>line</key><integer>459</integer>
          <key>col</key><integer>1</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>461</integer>
+         <key>line</key><integer>459</integer>
          <key>col</key><integer>16</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5747,7 +5747,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>462</integer>
+      <key>line</key><integer>460</integer>
       <key>col</key><integer>37</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5755,12 +5755,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>462</integer>
+         <key>line</key><integer>460</integer>
          <key>col</key><integer>37</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>462</integer>
+         <key>line</key><integer>460</integer>
          <key>col</key><integer>41</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5780,12 +5780,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>462</integer>
+           <key>line</key><integer>460</integer>
            <key>col</key><integer>37</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>462</integer>
+           <key>line</key><integer>460</integer>
            <key>col</key><integer>39</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5793,12 +5793,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>462</integer>
+           <key>line</key><integer>460</integer>
            <key>col</key><integer>35</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>462</integer>
+           <key>line</key><integer>460</integer>
            <key>col</key><integer>35</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5810,7 +5810,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>462</integer>
+      <key>line</key><integer>460</integer>
       <key>col</key><integer>35</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5818,12 +5818,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>462</integer>
+         <key>line</key><integer>460</integer>
          <key>col</key><integer>33</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>462</integer>
+         <key>line</key><integer>460</integer>
          <key>col</key><integer>41</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5841,7 +5841,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>461</integer>
+      <key>line</key><integer>459</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5860,7 +5860,7 @@
   <key>issue_hash_function_offset</key><string>0</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>462</integer>
+   <key>line</key><integer>460</integer>
    <key>col</key><integer>35</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -5868,8 +5868,8 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>461</integer>
-    <integer>462</integer>
+    <integer>459</integer>
+    <integer>460</integer>
    </array>
   </dict>
   </dict>
@@ -5884,12 +5884,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>471</integer>
+           <key>line</key><integer>469</integer>
            <key>col</key><integer>33</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>471</integer>
+           <key>line</key><integer>469</integer>
            <key>col</key><integer>33</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5897,12 +5897,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>471</integer>
+           <key>line</key><integer>469</integer>
            <key>col</key><integer>37</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>471</integer>
+           <key>line</key><integer>469</integer>
            <key>col</key><integer>39</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -5914,7 +5914,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>471</integer>
+      <key>line</key><integer>469</integer>
       <key>col</key><integer>37</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5922,12 +5922,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>471</integer>
+         <key>line</key><integer>469</integer>
          <key>col</key><integer>37</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>471</integer>
+         <key>line</key><integer>469</integer>
          <key>col</key><integer>41</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5943,7 +5943,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>470</integer>
+      <key>line</key><integer>468</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5957,7 +5957,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>470</integer>
+      <key>line</key><integer>468</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5965,12 +5965,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>470</integer>
+         <key>line</key><integer>468</integer>
          <key>col</key><integer>1</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>470</integer>
+         <key>line</key><integer>468</integer>
          <key>col</key><integer>11</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -5986,7 +5986,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>471</integer>
+      <key>line</key><integer>469</integer>
       <key>col</key><integer>37</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -5994,12 +5994,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>471</integer>
+         <key>line</key><integer>469</integer>
          <key>col</key><integer>37</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>471</integer>
+         <key>line</key><integer>469</integer>
          <key>col</key><integer>41</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -6019,12 +6019,12 @@
         <key>start</key>
          <array>
           <dict>
-           <key>line</key><integer>471</integer>
+           <key>line</key><integer>469</integer>
            <key>col</key><integer>37</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>471</integer>
+           <key>line</key><integer>469</integer>
            <key>col</key><integer>39</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -6032,12 +6032,12 @@
         <key>end</key>
          <array>
           <dict>
-           <key>line</key><integer>471</integer>
+           <key>line</key><integer>469</integer>
            <key>col</key><integer>35</integer>
            <key>file</key><integer>0</integer>
           </dict>
           <dict>
-           <key>line</key><integer>471</integer>
+           <key>line</key><integer>469</integer>
            <key>col</key><integer>35</integer>
            <key>file</key><integer>0</integer>
           </dict>
@@ -6049,7 +6049,7 @@
      <key>kind</key><string>event</string>
      <key>location</key>
      <dict>
-      <key>line</key><integer>471</integer>
+      <key>line</key><integer>469</integer>
       <key>col</key><integer>35</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -6057,12 +6057,12 @@
      <array>
        <array>
         <dict>
-         <key>line</key><integer>471</integer>
+         <key>line</key><integer>469</integer>
          <key>col</key><integer>33</integer>
          <key>file</key><integer>0</integer>
         </dict>
         <dict>
-         <key>line</key><integer>471</integer>
+         <key>line</key><integer>469</integer>
          <key>col</key><integer>41</integer>
          <key>file</key><integer>0</integer>
         </dict>
@@ -6080,7 +6080,7 @@
     <dict>
      <key>location</key>
      <dict>
-      <key>line</key><integer>470</integer>
+      <key>line</key><integer>468</integer>
       <key>col</key><integer>1</integer>
       <key>file</key><integer>0</integer>
      </dict>
@@ -6099,7 +6099,7 @@
   <key>issue_hash_function_offset</key><string>0</string>
   <key>location</key>
   <dict>
-   <key>line</key><integer>471</integer>
+   <key>line</key><integer>469</integer>
    <key>col</key><integer>35</integer>
    <key>file</key><integer>0</integer>
   </dict>
@@ -6107,8 +6107,683 @@
   <dict>
    <key>0</key>
    <array>
-    <integer>470</integer>
-    <integer>471</integer>
+    <integer>468</integer>
+    <integer>469</integer>
+   </array>
+  </dict>
+  </dict>
+  <dict>
+   <key>path</key>
+   <array>
+    <dict>
+     <key>kind</key><string>control</string>
+     <key>edges</key>
+      <array>
+       <dict>
+        <key>start</key>
+         <array>
+          <dict>
+           <key>line</key><integer>481</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>481</integer>
+           <key>col</key><integer>5</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+        <key>end</key>
+         <array>
+          <dict>
+           <key>line</key><integer>482</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>482</integer>
+           <key>col</key><integer>10</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+       </dict>
+      </array>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>482</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>482</integer>
+         <key>col</key><integer>3</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>482</integer>
+         <key>col</key><integer>28</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>The value 0 is assigned to 'x'</string>
+     <key>message</key>
+     <string>The value 0 is assigned to 'x'</string>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>483</integer>
+      <key>col</key><integer>13</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>483</integer>
+         <key>col</key><integer>10</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>483</integer>
+         <key>col</key><integer>15</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>Division by zero</string>
+     <key>message</key>
+     <string>Division by zero</string>
+    </dict>
+   </array>
+   <key>macro_expansions</key>
+   <array>
+    <dict>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>482</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>name</key><string>DISPATCH</string>
+     <key>expansion</key><string>foo(x, "LF1M healer");x = 0;;</string>
+    </dict>
+   </array>
+   <key>description</key><string>Division by zero</string>
+   <key>category</key><string>Logic error</string>
+   <key>type</key><string>Division by zero</string>
+   <key>check_name</key><string>core.DivideZero</string>
+   <!-- This hash is experimental and going to change! -->
+   <key>issue_hash_content_of_line_in_context</key><string>0911a97774745d4fa0ac03cd9680dfe1</string>
+  <key>issue_context_kind</key><string>function</string>
+  <key>issue_context</key><string>mulitpleParamsResolveToVA_ARGS</string>
+  <key>issue_hash_function_offset</key><string>3</string>
+  <key>location</key>
+  <dict>
+   <key>line</key><integer>483</integer>
+   <key>col</key><integer>13</integer>
+   <key>file</key><integer>0</integer>
+  </dict>
+  <key>ExecutedLines</key>
+  <dict>
+   <key>0</key>
+   <array>
+    <integer>480</integer>
+    <integer>481</integer>
+    <integer>482</integer>
+    <integer>483</integer>
+   </array>
+  </dict>
+  </dict>
+  <dict>
+   <key>path</key>
+   <array>
+    <dict>
+     <key>kind</key><string>control</string>
+     <key>edges</key>
+      <array>
+       <dict>
+        <key>start</key>
+         <array>
+          <dict>
+           <key>line</key><integer>494</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>494</integer>
+           <key>col</key><integer>5</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+        <key>end</key>
+         <array>
+          <dict>
+           <key>line</key><integer>495</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>495</integer>
+           <key>col</key><integer>16</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+       </dict>
+      </array>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>495</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>495</integer>
+         <key>col</key><integer>3</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>495</integer>
+         <key>col</key><integer>71</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>The value 0 is assigned to 'x'</string>
+     <key>message</key>
+     <string>The value 0 is assigned to 'x'</string>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>496</integer>
+      <key>col</key><integer>13</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>496</integer>
+         <key>col</key><integer>10</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>496</integer>
+         <key>col</key><integer>15</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>Division by zero</string>
+     <key>message</key>
+     <string>Division by zero</string>
+    </dict>
+   </array>
+   <key>macro_expansions</key>
+   <array>
+    <dict>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>495</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>name</key><string>CONCAT_VA_ARGS</string>
+     <key>expansion</key><string>variadicCFunction(x, "You need to construct additional pylons.",'c', 9);x = 0;</string>
+    </dict>
+   </array>
+   <key>description</key><string>Division by zero</string>
+   <key>category</key><string>Logic error</string>
+   <key>type</key><string>Division by zero</string>
+   <key>check_name</key><string>core.DivideZero</string>
+   <!-- This hash is experimental and going to change! -->
+   <key>issue_hash_content_of_line_in_context</key><string>ed592fb952ed786e7efdc81bbc538e94</string>
+  <key>issue_context_kind</key><string>function</string>
+  <key>issue_context</key><string>concatVA_ARGS</string>
+  <key>issue_hash_function_offset</key><string>3</string>
+  <key>location</key>
+  <dict>
+   <key>line</key><integer>496</integer>
+   <key>col</key><integer>13</integer>
+   <key>file</key><integer>0</integer>
+  </dict>
+  <key>ExecutedLines</key>
+  <dict>
+   <key>0</key>
+   <array>
+    <integer>493</integer>
+    <integer>494</integer>
+    <integer>495</integer>
+    <integer>496</integer>
+   </array>
+  </dict>
+  </dict>
+  <dict>
+   <key>path</key>
+   <array>
+    <dict>
+     <key>kind</key><string>control</string>
+     <key>edges</key>
+      <array>
+       <dict>
+        <key>start</key>
+         <array>
+          <dict>
+           <key>line</key><integer>502</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>502</integer>
+           <key>col</key><integer>5</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+        <key>end</key>
+         <array>
+          <dict>
+           <key>line</key><integer>503</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>503</integer>
+           <key>col</key><integer>16</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+       </dict>
+      </array>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>503</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>503</integer>
+         <key>col</key><integer>3</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>503</integer>
+         <key>col</key><integer>44</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>The value 0 is assigned to 'x'</string>
+     <key>message</key>
+     <string>The value 0 is assigned to 'x'</string>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>504</integer>
+      <key>col</key><integer>13</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>504</integer>
+         <key>col</key><integer>10</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>504</integer>
+         <key>col</key><integer>15</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>Division by zero</string>
+     <key>message</key>
+     <string>Division by zero</string>
+    </dict>
+   </array>
+   <key>macro_expansions</key>
+   <array>
+    <dict>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>503</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>name</key><string>CONCAT_VA_ARGS</string>
+     <key>expansion</key><string>variadicCFunction(x, "You need to construct",);x = 0;</string>
+    </dict>
+   </array>
+   <key>description</key><string>Division by zero</string>
+   <key>category</key><string>Logic error</string>
+   <key>type</key><string>Division by zero</string>
+   <key>check_name</key><string>core.DivideZero</string>
+   <!-- This hash is experimental and going to change! -->
+   <key>issue_hash_content_of_line_in_context</key><string>4b0ab46d7a972d0a388b4bb59351480a</string>
+  <key>issue_context_kind</key><string>function</string>
+  <key>issue_context</key><string>concatVA_ARGSEmpty</string>
+  <key>issue_hash_function_offset</key><string>3</string>
+  <key>location</key>
+  <dict>
+   <key>line</key><integer>504</integer>
+   <key>col</key><integer>13</integer>
+   <key>file</key><integer>0</integer>
+  </dict>
+  <key>ExecutedLines</key>
+  <dict>
+   <key>0</key>
+   <array>
+    <integer>501</integer>
+    <integer>502</integer>
+    <integer>503</integer>
+    <integer>504</integer>
+   </array>
+  </dict>
+  </dict>
+  <dict>
+   <key>path</key>
+   <array>
+    <dict>
+     <key>kind</key><string>control</string>
+     <key>edges</key>
+      <array>
+       <dict>
+        <key>start</key>
+         <array>
+          <dict>
+           <key>line</key><integer>514</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>514</integer>
+           <key>col</key><integer>5</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+        <key>end</key>
+         <array>
+          <dict>
+           <key>line</key><integer>515</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>515</integer>
+           <key>col</key><integer>21</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+       </dict>
+      </array>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>515</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>515</integer>
+         <key>col</key><integer>3</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>515</integer>
+         <key>col</key><integer>71</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>The value 0 is assigned to 'x'</string>
+     <key>message</key>
+     <string>The value 0 is assigned to 'x'</string>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>516</integer>
+      <key>col</key><integer>13</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>516</integer>
+         <key>col</key><integer>10</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>516</integer>
+         <key>col</key><integer>15</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>Division by zero</string>
+     <key>message</key>
+     <string>Division by zero</string>
+    </dict>
+   </array>
+   <key>macro_expansions</key>
+   <array>
+    <dict>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>515</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>name</key><string>STRINGIFIED_VA_ARGS</string>
+     <key>expansion</key><string>variadicCFunction(x, "Additional supply depots required.",  "'a'", 10);x = 0;</string>
+    </dict>
+   </array>
+   <key>description</key><string>Division by zero</string>
+   <key>category</key><string>Logic error</string>
+   <key>type</key><string>Division by zero</string>
+   <key>check_name</key><string>core.DivideZero</string>
+   <!-- This hash is experimental and going to change! -->
+   <key>issue_hash_content_of_line_in_context</key><string>6622e3f0651f97e6cbf4e075e6b07707</string>
+  <key>issue_context_kind</key><string>function</string>
+  <key>issue_context</key><string>stringifyVA_ARGS</string>
+  <key>issue_hash_function_offset</key><string>3</string>
+  <key>location</key>
+  <dict>
+   <key>line</key><integer>516</integer>
+   <key>col</key><integer>13</integer>
+   <key>file</key><integer>0</integer>
+  </dict>
+  <key>ExecutedLines</key>
+  <dict>
+   <key>0</key>
+   <array>
+    <integer>513</integer>
+    <integer>514</integer>
+    <integer>515</integer>
+    <integer>516</integer>
+   </array>
+  </dict>
+  </dict>
+  <dict>
+   <key>path</key>
+   <array>
+    <dict>
+     <key>kind</key><string>control</string>
+     <key>edges</key>
+      <array>
+       <dict>
+        <key>start</key>
+         <array>
+          <dict>
+           <key>line</key><integer>524</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>524</integer>
+           <key>col</key><integer>5</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+        <key>end</key>
+         <array>
+          <dict>
+           <key>line</key><integer>525</integer>
+           <key>col</key><integer>3</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+          <dict>
+           <key>line</key><integer>525</integer>
+           <key>col</key><integer>21</integer>
+           <key>file</key><integer>0</integer>
+          </dict>
+         </array>
+       </dict>
+      </array>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>525</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>525</integer>
+         <key>col</key><integer>3</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>525</integer>
+         <key>col</key><integer>62</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>The value 0 is assigned to 'x'</string>
+     <key>message</key>
+     <string>The value 0 is assigned to 'x'</string>
+    </dict>
+    <dict>
+     <key>kind</key><string>event</string>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>526</integer>
+      <key>col</key><integer>13</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>ranges</key>
+     <array>
+       <array>
+        <dict>
+         <key>line</key><integer>526</integer>
+         <key>col</key><integer>10</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+        <dict>
+         <key>line</key><integer>526</integer>
+         <key>col</key><integer>15</integer>
+         <key>file</key><integer>0</integer>
+        </dict>
+       </array>
+     </array>
+     <key>depth</key><integer>0</integer>
+     <key>extended_message</key>
+     <string>Division by zero</string>
+     <key>message</key>
+     <string>Division by zero</string>
+    </dict>
+   </array>
+   <key>macro_expansions</key>
+   <array>
+    <dict>
+     <key>location</key>
+     <dict>
+      <key>line</key><integer>525</integer>
+      <key>col</key><integer>3</integer>
+      <key>file</key><integer>0</integer>
+     </dict>
+     <key>name</key><string>STRINGIFIED_VA_ARGS</string>
+     <key>expansion</key><string>variadicCFunction(x, "Additional supply depots required.", ")";x = 0;</string>
+    </dict>
+   </array>
+   <key>description</key><string>Division by zero</string>
+   <key>category</key><string>Logic error</string>
+   <key>type</key><string>Division by zero</string>
+   <key>check_name</key><string>core.DivideZero</string>
+   <!-- This hash is experimental and going to change! -->
+   <key>issue_hash_content_of_line_in_context</key><string>86c6e52c81f1129e6c9f51e6938d9ee7</string>
+  <key>issue_context_kind</key><string>function</string>
+  <key>issue_context</key><string>stringifyVA_ARGSEmpty</string>
+  <key>issue_hash_function_offset</key><string>3</string>
+  <key>location</key>
+  <dict>
+   <key>line</key><integer>526</integer>
+   <key>col</key><integer>13</integer>
+   <key>file</key><integer>0</integer>
+  </dict>
+  <key>ExecutedLines</key>
+  <dict>
+   <key>0</key>
+   <array>
+    <integer>523</integer>
+    <integer>524</integer>
+    <integer>525</integer>
+    <integer>526</integer>
    </array>
   </dict>
   </dict>

diff  --git a/clang/test/Analysis/plist-macros-with-expansion.cpp b/clang/test/Analysis/plist-macros-with-expansion.cpp
index a81ba0846905..f79070095385 100644
--- a/clang/test/Analysis/plist-macros-with-expansion.cpp
+++ b/clang/test/Analysis/plist-macros-with-expansion.cpp
@@ -1,5 +1,3 @@
-// RUN: %clang_analyze_cc1 -std=c++14 -analyzer-checker=core -verify %s
-//
 // RUN: %clang_analyze_cc1 -std=c++14 -analyzer-checker=core %s  \
 // RUN:   -analyzer-output=plist -o %t.plist \
 // RUN:   -analyzer-config expand-macros=true
@@ -472,3 +470,62 @@ void useZeroApplier2() { (void)(1 / bar()); } // expected-warning{{Division by z
 
 // CHECK: <key>name</key><string>APPLY_ZERO2</string>
 // CHECK-NEXT: <key>expansion</key><string>int bar() { return 0; }</string>
+
+void foo(int &x, const char *str);
+
+#define PARAMS_RESOLVE_TO_VA_ARGS(i, fmt) foo(i, fmt); \
+  i = 0;
+#define DISPATCH(...) PARAMS_RESOLVE_TO_VA_ARGS(__VA_ARGS__);
+
+void mulitpleParamsResolveToVA_ARGS(void) {
+  int x = 1;
+  DISPATCH(x, "LF1M healer");
+  (void)(10 / x); // expected-warning{{Division by zero}}
+}
+// CHECK: <key>name</key><string>DISPATCH</string>
+// CHECK-NEXT: <key>expansion</key><string>foo(x, "LF1M healer");x = 0;;</string>
+
+void variadicCFunction(int &x, const char *str, ...);
+
+#define CONCAT_VA_ARGS(i, fmt, ...) variadicCFunction(i, fmt, ##__VA_ARGS__); \
+  i = 0;
+
+void concatVA_ARGS(void) {
+  int x = 1;
+  CONCAT_VA_ARGS(x, "You need to construct additional pylons.", 'c', 9);
+  (void)(10 / x); // expected-warning{{Division by zero}}
+}
+// CHECK: <key>name</key><string>CONCAT_VA_ARGS</string>
+// CHECK-NEXT: <key>expansion</key><string>variadicCFunction(x, "You need to construct additional pylons.",'c', 9);x = 0;</string>
+
+void concatVA_ARGSEmpty(void) {
+  int x = 1;
+  CONCAT_VA_ARGS(x, "You need to construct");
+  (void)(10 / x); // expected-warning{{Division by zero}}
+}
+// FIXME: The comma shouldn't be present after the last argument.
+// CHECK: <key>name</key><string>CONCAT_VA_ARGS</string>
+// CHECK-NEXT: <key>expansion</key><string>variadicCFunction(x, "You need to construct",);x = 0;</string>
+
+#define STRINGIFIED_VA_ARGS(i, fmt, ...) variadicCFunction(i, fmt, #__VA_ARGS__); \
+  i = 0;
+
+void stringifyVA_ARGS(void) {
+  int x = 1;
+  STRINGIFIED_VA_ARGS(x, "Additional supply depots required.", 'a', 10);
+  (void)(10 / x); // expected-warning{{Division by zero}}
+}
+
+// FIXME: Stringify and escape __VA_ARGS__ correctly.
+// CHECK: <key>name</key><string>STRINGIFIED_VA_ARGS</string>
+// CHECK-NEXT: <key>expansion</key><string>variadicCFunction(x, "Additional supply depots required.",  "'a'", 10);x = 0;</string>
+
+void stringifyVA_ARGSEmpty(void) {
+  int x = 1;
+  STRINGIFIED_VA_ARGS(x, "Additional supply depots required.");
+  (void)(10 / x); // expected-warning{{Division by zero}}
+}
+
+// FIXME: Stringify and escape __VA_ARGS__ correctly.
+// CHECK: <key>name</key><string>STRINGIFIED_VA_ARGS</string>
+// CHECK-NEXT: <key>expansion</key><string>variadicCFunction(x, "Additional supply depots required.", ")";x = 0;</string>


        


More information about the cfe-commits mailing list