anchor.diff:              printBrInd 2 "%s.[i].[j] <- Some (lists_%s.[x])" name name
   //            printBrInd 2 "%s.[i].[j] <- Some (lists_%s.[x], (dontStackSetNum, stackSetNum))" name name
               printBrInd 1 "cur <- cur + length * 2"
  +
  +
  +        let resultDfaArrayCreationCodePrinter name prodCount = 
  +            printBrInd 0 "let %s = Array.zeroCreate %d" name prodCount
  +            printBrInd 0 "for i = 0 to %d do" (prodCount - 1)
  +            printBrInd 2 "%s.[i] <- Array.zeroCreate %d" name symbolsCount
  +            printBrInd 0 "cur <- 0"
  +            printBrInd 0 "while cur < small_%s.Length do" name
  +            printBrInd 1 "let i = small_%s.[cur] >>> 16" name
  +            printBrInd 1 "let length = small_%s.[cur] &&& %d" name andNum
  +            printBrInd 1 "cur <- cur + 1"
  +            printBrInd 1 "for k = 0 to length-1 do"
  +            printBrInd 2 "let j = small_%s.[cur + k] >>> 16" name
  +            printBrInd 2 "let x = small_%s.[cur + k] &&& %d" name andNum
  +            printBrInd 2 "%s.[i].[j] <- lists_%s.[x]" name name
  +            printBrInd 1 "cur <- cur + length"
                   
           let printGotoArrList() =
               // although we have lists of gotos and stacLabels, only first elements of these lists are really processed
  
positive.code: 
      let statesLim = tables.gotos.GetLength 0 - 1
      let symbolsLim = tables.gotos.GetLength 1 - 1
      let statesCount = statesLim + 1
      let symbolsCount = symbolsLim + 1
      
  
negative.code:             (fun l -> printListAsArray l (fun x -> print "%d" x))
              "zeroReduces"
  
          print2DArrListDfa "[|" "|]" "; " "let private" printArr
              resultDfaArrayCreationCodePrinter
              dfaArrList 
              (fun l -> not l.IsEmpty)
              (fun l -> printListAsArray l (fun x -> print "%d" x))
              "dfaList"
  
          printArrHashSet "let private finiteStates = " finitStatesSet (fun x -> print "%d" x)
  
  
          printInd 0 "let private small_acc = "
          printList tables.acc (fun x -> print "%d" x)
          printBr ""
  