anchor.diff:  module private FsYacc =
       open System
       open System.CodeDom.Compiler
  +    open System.Diagnostics
       open Printf
       open Graham.Grammar
       open Graham.LR
  
positive.code:             // Convert the ResizeArray to an array and return it.
              gotos.ToArray (),
              offsets
  
          oneLineArrayUInt16 ("_fsyacc_gotos", false,
              _fsyacc_gotos) writer
  
negative.code:                 Map.toArray parserTable.ParserStates
  
              let stateToProdIdxsTableElements =
                  // Initialize to a reasonable size to avoid small re-allocations.
                  ResizeArray (4 * parserStates.Length)
  
              let stateToProdIdxsTableRowOffsets =
                  Array.zeroCreate <| Array.length parserStates
  
              // Populate the arrays from 'parserStates'.
              parserStates
              |> Array.iteri (fun idx (_, items) ->
                  // Record the starting index (offset) for this state.
                  stateToProdIdxsTableRowOffsets.[idx] <-
                      Checked.uint16 stateToProdIdxsTableElements.Count
  
                  // Add the number of elements for this state to the 'elements' array.
                  stateToProdIdxsTableElements.Add (Checked.uint16 <| Set.count items)
  
                  // Store the elements for this state into the 'elements' array.
                  items
                  |> Set.iter (fun item ->
                      productionRuleIndices
                      |> Map.find (item.Nonterminal, item.Production)
                      |> Checked.uint16
                      |> stateToProdIdxsTableElements.Add))
  
              // Return the constructed arrays.
              stateToProdIdxsTableElements.ToArray (),
              stateToProdIdxsTableRowOffsets
  
          Debug.Assert (
              (let elementCount = Checked.uint16 <| Array.length _fsyacc_stateToProdIdxsTableElements in
                  _fsyacc_stateToProdIdxsTableRowOffsets
                  |> Array.forall ((>) elementCount)),
              "One or more of the offsets in '_fsyacc_stateToProdIdxsTableRowOffsets' \
               is greater than the length of '_fsyacc_stateToProdIdxsTableElements'.")
  
          oneLineArrayUInt16 ("_fsyacc_stateToProdIdxsTableElements", false,
              _fsyacc_stateToProdIdxsTableElements) writer
  