let name
  minReads=0
  mayRaise=[ExceptionFailure]
  alwaysRaise=[]
  freeRegs=[]
| pushValue (\u_0 -> GHC.Tuple.())
|   minReads=0
|   mayRaise=[ExceptionFailure]
|   alwaysRaise=[]
|   freeRegs=[]
| pushValue (\u_0 -> u_0)
|   minReads=0
|   mayRaise=[ExceptionFailure]
|   alwaysRaise=[]
|   freeRegs=[]
| newRegister reg
|   minReads=0
|   mayRaise=[ExceptionFailure]
|   alwaysRaise=[]
|   freeRegs=[]
| iter loop
|   minReads=0
|   mayRaise=[ExceptionFailure]
|   alwaysRaise=[]
|   freeRegs=[reg]
| | <ok>
| | | pushValue (\u_0 -> \u_1 -> u_1)
| | |   minReads=1
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | comment "satisfy (\\c_0 -> GHC.Classes.not (('<' GHC.Classes.== c_0) GHC.Classes.|| (('>' GHC.Classes.== c_0) GHC.Classes.|| (('+' GHC.Classes.== c_0) GHC.Classes.|| (('-' GHC.Classes.== c_0) GHC.Classes.|| ((',' GHC.Classes.== c_0) GHC.Classes.|| (('.' GHC.Classes.== c_0) GHC.Classes.|| (('[' GHC.Classes.== c_0) GHC.Classes.|| ((']' GHC.Classes.== c_0) GHC.Classes.|| GHC.Types.False)))))))))"
| | |   minReads=1
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | read (\c_0 -> GHC.Classes.not (('<' GHC.Classes.== c_0) GHC.Classes.|| (('>' GHC.Classes.== c_0) GHC.Classes.|| (('+' GHC.Classes.== c_0) GHC.Classes.|| (('-' GHC.Classes.== c_0) GHC.Classes.|| ((',' GHC.Classes.== c_0) GHC.Classes.|| (('.' GHC.Classes.== c_0) GHC.Classes.|| (('[' GHC.Classes.== c_0) GHC.Classes.|| ((']' GHC.Classes.== c_0) GHC.Classes.|| GHC.Types.False)))))))))
| | |   minReads=1
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | |   minReads=0
| | |   mayRaise=[]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | readRegister reg
| | |   minReads=0
| | |   mayRaise=[]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | |   minReads=0
| | |   mayRaise=[]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | writeRegister reg
| | |   minReads=0
| | |   mayRaise=[]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | jump loop
| | |   minReads=0
| | |   mayRaise=[]
| | |   alwaysRaise=[]
| | |   freeRegs=[]
| | <ko>
| | | comment "raiseAgainIfConsumed"
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | saveInput
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | choicesBranch
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | | <branch (\u_0 -> u_0)>
| | | | | readRegister reg
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | pushValue GHC.Tuple.()
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | ret
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | <default>
| | | | | fail []
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[ExceptionFailure]
| | | | |   freeRegs=[]
let name
  minReads=0
  mayRaise=[ExceptionFailure]
  alwaysRaise=[]
  freeRegs=[]
| pushValue (\u_0 -> u_0)
|   minReads=0
|   mayRaise=[ExceptionFailure]
|   alwaysRaise=[]
|   freeRegs=[]
| newRegister reg
|   minReads=0
|   mayRaise=[ExceptionFailure]
|   alwaysRaise=[]
|   freeRegs=[]
| iter loop
|   minReads=0
|   mayRaise=[ExceptionFailure]
|   alwaysRaise=[]
|   freeRegs=[reg]
| | <ok>
| | | pushValue (\u_0 -> \u_1 -> (GHC.Types.:) u_0)
| | |   minReads=1
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | join join
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | |   minReads=0
| | | |   mayRaise=[ExceptionFailure]
| | | |   alwaysRaise=[]
| | | |   freeRegs=[reg]
| | | | call name
| | | |   minReads=0
| | | |   mayRaise=[ExceptionFailure]
| | | |   alwaysRaise=[]
| | | |   freeRegs=[reg]
| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | |   minReads=0
| | | |   mayRaise=[]
| | | |   alwaysRaise=[]
| | | |   freeRegs=[reg]
| | | | pushValue (\u_0 -> \u_1 -> \u_2 -> u_1 (u_0 u_2))
| | | |   minReads=0
| | | |   mayRaise=[]
| | | |   alwaysRaise=[]
| | | |   freeRegs=[reg]
| | | | lift2Value (\u_0 -> \u_1 -> u_1 u_0)
| | | |   minReads=0
| | | |   mayRaise=[]
| | | |   alwaysRaise=[]
| | | |   freeRegs=[reg]
| | | | readRegister reg
| | | |   minReads=0
| | | |   mayRaise=[]
| | | |   alwaysRaise=[]
| | | |   freeRegs=[reg]
| | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | |   minReads=0
| | | |   mayRaise=[]
| | | |   alwaysRaise=[]
| | | |   freeRegs=[reg]
| | | | writeRegister reg
| | | |   minReads=0
| | | |   mayRaise=[]
| | | |   alwaysRaise=[]
| | | |   freeRegs=[reg]
| | | | jump loop
| | | |   minReads=0
| | | |   mayRaise=[]
| | | |   alwaysRaise=[]
| | | |   freeRegs=[]
| | | comment "look"
| | |   minReads=1
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | saveInput
| | |   minReads=1
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | comment "satisfy (GHC.Base.const GHC.Types.True)"
| | |   minReads=1
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | read (\u_0 -> GHC.Types.True)
| | |   minReads=1
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | swapValue
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | loadInput
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | choicesBranch
| | |   minReads=1
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | | <branch (\x_0 -> (GHC.Classes.==) '<' x_0)>
| | | | | pushValue (\u_0 -> Parsers.Brainfuck.Types.Backward)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | comment "satisfy (GHC.Base.const GHC.Types.True)"
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | read (\u_0 -> GHC.Types.True)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | refJoin join
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | <branch (\x_0 -> (GHC.Classes.==) '>' x_0)>
| | | | | pushValue (\u_0 -> Parsers.Brainfuck.Types.Forward)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | comment "satisfy (GHC.Base.const GHC.Types.True)"
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | read (\u_0 -> GHC.Types.True)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | refJoin join
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | <branch (\x_0 -> (GHC.Classes.==) '+' x_0)>
| | | | | pushValue (\u_0 -> Parsers.Brainfuck.Types.Increment)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | comment "satisfy (GHC.Base.const GHC.Types.True)"
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | read (\u_0 -> GHC.Types.True)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | refJoin join
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | <branch (\x_0 -> (GHC.Classes.==) '-' x_0)>
| | | | | pushValue (\u_0 -> Parsers.Brainfuck.Types.Decrement)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | comment "satisfy (GHC.Base.const GHC.Types.True)"
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | read (\u_0 -> GHC.Types.True)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | refJoin join
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | <branch (\x_0 -> (GHC.Classes.==) ',' x_0)>
| | | | | pushValue (\u_0 -> Parsers.Brainfuck.Types.Input)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | comment "satisfy (GHC.Base.const GHC.Types.True)"
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | read (\u_0 -> GHC.Types.True)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | refJoin join
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | <branch (\x_0 -> (GHC.Classes.==) '.' x_0)>
| | | | | pushValue (\u_0 -> Parsers.Brainfuck.Types.Output)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | comment "satisfy (GHC.Base.const GHC.Types.True)"
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | read (\u_0 -> GHC.Types.True)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | refJoin join
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | <branch (\x_0 -> (GHC.Classes.==) '[' x_0)>
| | | | | pushValue (\u_0 -> \u_1 -> \u_2 -> \u_3 -> Parsers.Brainfuck.Types.Loop u_2)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | comment "satisfy (GHC.Base.const GHC.Types.True)"
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | read (\u_0 -> GHC.Types.True)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | call name
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | call name
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | comment "satisfy ((GHC.Classes.==) ']')"
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | read ((GHC.Classes.==) ']')
| | | | |   minReads=1
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | refJoin join
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | <default>
| | | | | fail [FailureEmpty]
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[ExceptionFailure]
| | | | |   freeRegs=[]
| | <ko>
| | | comment "raiseAgainIfConsumed"
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | saveInput
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | lift2Value ((GHC.Classes.==) @GHC.Types.Int)
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | choicesBranch
| | |   minReads=0
| | |   mayRaise=[ExceptionFailure]
| | |   alwaysRaise=[]
| | |   freeRegs=[reg]
| | | | <branch (\u_0 -> u_0)>
| | | | | readRegister reg
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[reg]
| | | | | pushValue GHC.Types.[]
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | lift2Value (\u_0 -> \u_1 -> u_0 u_1)
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | | ret
| | | | |   minReads=0
| | | | |   mayRaise=[]
| | | | |   alwaysRaise=[]
| | | | |   freeRegs=[]
| | | | <default>
| | | | | fail []
| | | | |   minReads=0
| | | | |   mayRaise=[ExceptionFailure]
| | | | |   alwaysRaise=[ExceptionFailure]
| | | | |   freeRegs=[]
pushValue (\u_0 -> \u_1 -> GHC.Show.show u_1)
  minReads=0
  mayRaise=[ExceptionFailure]
  alwaysRaise=[]
  freeRegs=[]
call name
  minReads=0
  mayRaise=[ExceptionFailure]
  alwaysRaise=[]
  freeRegs=[]
lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  minReads=0
  mayRaise=[ExceptionFailure]
  alwaysRaise=[]
  freeRegs=[]
call name
  minReads=0
  mayRaise=[ExceptionFailure]
  alwaysRaise=[]
  freeRegs=[]
lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[]
ret
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[]