anchor.diff:              // Convert the ResizeArray to an array and return it.
               gotos.ToArray (),
               offsets
  +
  +        Debug.Assert (
  +            (let elementCount = Checked.uint16 <| Array.length _fsyacc_gotos in
  +                _fsyacc_sparseGotoTableRowOffsets
  +                |> Array.forall ((>) elementCount)),
  +            "One or more of the offsets in '_fsyacc_gotos' \
  +             is greater than the length of '_fsyacc_sparseGotoTableRowOffsets'.")
   
           oneLineArrayUInt16 ("_fsyacc_gotos", false,
               _fsyacc_gotos) writer
  
positive.code: 
                      // The entries for this state.
                      let elements = Array.zeroCreate <| 2 * (Array.length entries + 1)
                      elements.[0] <- Checked.uint16 <| (2 * Array.length entries)
                      elements.[1] <- mostFrequentActionValue
                      
                      entries
  
negative.code:     let private parserTables (processedSpec : ProcessedSpecification<NonterminalIdentifier, TerminalIdentifier>,
                                parserTable : Lr0ParserTable<NonterminalIdentifier, TerminalIdentifier>,
                                productionIndices : Map<_,_>) (writer : IndentedTextWriter) =
          // _fsyacc_gotos
          // _fsyacc_sparseGotoTableRowOffsets
          let _fsyacc_gotos, _fsyacc_sparseGotoTableRowOffsets =
              /// The source and target states of GOTO transitions over each nonterminal.
              let gotoEdges =
                  (Map.empty, parserTable.GotoTable)
                  ||> Map.fold (fun gotoEdges (source, nonterminal) target ->
                      /// The GOTO edges labeled with this nonterminal.
                      let edges =
                          match Map.tryFind nonterminal gotoEdges with
                          | None ->
                              Set.singleton (source, target)
                          | Some edges ->
                              Set.add (source, target) edges
  
                      // Update the map with the new set of edges for this nonterminal.
                      Map.add nonterminal edges gotoEdges)
  
              let startSymbolCount = Set.count processedSpec.StartSymbols
              let gotos = ResizeArray ()
              let offsets = Array.zeroCreate (startSymbolCount + gotoEdges.Count)
  