anchor.diff:                      indentingWriter.Write "[| "
   
                       // Emit the transition vector elements, based on the transitions out of this state.
  -                    // In 'fslex', the length of the transition vector depends on whether
  -                    // or not the lexer is generated with support for Unicode.
  -                    if options.Unicode then
  -                        unicodeTransitionVectorElements (
  -                            compiledRule,
  -                            tag ruleDfaStateId,
  -                            tag baseDfaStateId,
  -                            indentingWriter)
  -                    else
  -                        asciiTransitionVectorElements (
  -                            compiledRule,
  -                            tag ruleDfaStateId,
  -                            tag baseDfaStateId,
  -                            indentingWriter)
  +                    stateTransitionEmitter compiledRule (tag ruleDfaStateId) (tag baseDfaStateId) indentingWriter
   
                       // Emit the closing bracket of the transition vector for this state,
                       // plus a semicolon to separate it from the next state's transition vector.
  
positive.code: 
                  for dfaStateId = 0 to ruleDfaStateCount - 1 do
                      // Determine the index of the rule clause accepted by this DFA state (if any).
                      let acceptedRuleClauseIndex =
                          Map.tryFind (tag dfaStateId) compiledRule.Dfa.RuleClauseAcceptedByState
  
                      // Emit the accepted rule number.
                      match acceptedRuleClauseIndex with
                      | None ->
                          // Emit the sentinel value which indicates this is not a final (accepting) state.
                          sentinelValue
                      | Some ruleClauseIndex ->
                          // Emit the rule-clause index.
                          Checked.uint16 ruleClauseIndex
                      |> writeUInt16LiteralElement indentingWriter
  
                  // End the line containing the transition elements for this rule.
  
negative.code:         indentingWriter.WriteLine ()
  
          // Emit the transition/action table for the DFA.
          emitTables compiledSpec.CompiledRules options indentingWriter
          assert (indentingWriter.Indent = 0) // Make sure indentation was reset
  
          // Emit a newline before emitting the semantic action functions.
  