\(input_0 :: inp_6989586621679040759) ->
  let !(#
         init_1,
         readMore_2,
         readNext_3
         #) =
          let _ = "cursorOf"
           in let next_4
                    ( t_5@( Data.Text.Internal.Text
                              arr_6
                              off_7
                              unconsumed_8
                            )
                      ) =
                      let !( Data.Text.Unsafe.Iter
                               c_9
                               d_10
                             ) = Data.Text.Unsafe.iter t_5 0
                       in (#
                            c_9,
                            Data.Text.Internal.Text arr_6 (off_7 GHC.Num.+ d_10) (unconsumed_8 GHC.Num.- d_10)
                          #)
                  more_11
                    ( Data.Text.Internal.Text
                        _
                        _
                        unconsumed_12
                      ) = unconsumed_12 GHC.Classes.> 0
               in (#
                    input_0,
                    more_11,
                    next_4
                  #)
      finalRet_13 = \_farInp_14 _farExp_15 v_16 _inp_17 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v_16
      finalRaise_18 ::
        forall st_19 b_20.
        Symantic.Parser.Machine.Generate.Catcher
          st_19
          inp_6989586621679040759
          b_20 = \(!exn_21) _failInp_22 (!farInp_23) (!farExp_24) ->
          Symantic.Parser.Machine.Generate.returnST GHC.Base.$
            Data.Either.Left
              Symantic.Parser.Machine.Generate.ParsingError
                { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.offset farInp_23,
                  Symantic.Parser.Machine.Generate.parsingErrorException = exn_21,
                  Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
                    if readMore_2 farInp_23
                      then
                        GHC.Maybe.Just
                          ( let (#
                                  c_25,
                                  _
                                  #) = readNext_3 farInp_23
                             in c_25
                          )
                      else GHC.Maybe.Nothing,
                  Symantic.Parser.Machine.Generate.parsingErrorExpecting =
                    let ( minHoriz_26,
                          res_27
                          ) =
                            Data.Set.Internal.foldr
                              ( \f_28
                                 ( minH_29,
                                   acc_30
                                   ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f_28 of
                                    GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h_31 :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759)))
                                      | GHC.Maybe.Just old_32 <- minH_29 ->
                                        ( GHC.Maybe.Just (GHC.Classes.min old_32 h_31),
                                          acc_30
                                        )
                                      | GHC.Base.otherwise ->
                                        ( GHC.Maybe.Just h_31,
                                          acc_30
                                        )
                                    _ ->
                                      ( minH_29,
                                        f_28 GHC.Types.: acc_30
                                      )
                              )
                              ( GHC.Maybe.Nothing,
                                GHC.Types . []
                              )
                              farExp_24
                     in Data.Set.Internal.fromList GHC.Base.$
                          ( case minHoriz_26 of
                              GHC.Maybe.Just h_33 -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759) h_33) GHC.Types.: res_27
                              GHC.Maybe.Nothing -> res_27
                          )
                }
   in GHC.ST.runST
        ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759)
           in let inp_34 = init_1
               in let readFail_35 = finalRaise_18
                   in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
                       in if readMore_2 inp_34
                            then
                              let name_36 = \reg_37 -> \(!callReturn_38) (!callInput_39) (!callCatchStackByLabel_40) -> do
                                    sr_41 <- GHC.STRef.readSTRef reg_37
                                    let _ = "resume"
                                     in callReturn_38
                                          init_1
                                          Data.Set.Internal.empty
                                          ( let _ = "resume.genCode"
                                             in sr_41
                                          )
                                          callInput_39
                               in let _ = "pushValue"
                                   in let _ = "comment: satisfy"
                                       in let _ = "checkHorizon.oldCheck: checkedHorizon=1"
                                           in let _ = "checkToken"
                                               in let !(#
                                                         c_42,
                                                         cs_43
                                                         #) = readNext_3 inp_34
                                                   in do
                                                        let dupv_44 = c_42
                                                        reg_37 <- GHC.STRef.newSTRef dupv_44
                                                        let _ = "pushValue"
                                                         in name_36
                                                              reg_37
                                                              ( let _ = "suspend"
                                                                 in \farInp_45 farExp_46 v_47 (!inp_48) ->
                                                                      name_36
                                                                        reg_37
                                                                        ( let _ = "suspend"
                                                                           in \farInp_49 farExp_50 v_51 (!inp_52) ->
                                                                                let _ = "resume"
                                                                                 in finalRet_13
                                                                                      farInp_49
                                                                                      farExp_50
                                                                                      ( let _ = "resume.genCode"
                                                                                         in GHC.Show.show (GHC.Tuple . (,) v_47 v_51)
                                                                                      )
                                                                                      inp_52
                                                                        )
                                                                        inp_48
                                                                        Data.Map.Internal.Tip
                                                              )
                                                              cs_43
                                                              Data.Map.Internal.Tip
                            else
                              let _ = "checkHorizon.newCheck.fail"
                               in let failExp_53 =
                                        Data.Set.Internal.Bin
                                          1
                                          ( Symantic.Parser.Grammar.Combinators.SomeFailure
                                              ( case inputToken of
                                                  (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
                                              )
                                          )
                                          Data.Set.Internal.Tip
                                          Data.Set.Internal.Tip
                                   in let (#
                                            farInp_54,
                                            farExp_55
                                            #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_34 of
                                              GHC.Types.LT ->
                                                (#
                                                  inp_34,
                                                  failExp_53
                                                #)
                                              GHC.Types.EQ ->
                                                (#
                                                  init_1,
                                                  failExp_53 GHC.Base.<> Data.Set.Internal.empty
                                                #)
                                              GHC.Types.GT ->
                                                (#
                                                  init_1,
                                                  Data.Set.Internal.empty
                                                #)
                                       in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_34 farInp_54 farExp_55
        )