pushValue GHC.Show.show
  minReads=1
  mayRaise=[ExceptionFailure]
  alwaysRaise=[]
  freeRegs=[]
comment "satisfy ((\\x_0 -> \\x_1 -> x_0) GHC.Types.True)"
  minReads=1
  mayRaise=[ExceptionFailure]
  alwaysRaise=[]
  freeRegs=[]
read (\x_0 -> GHC.Types.True)
  minReads=1
  mayRaise=[ExceptionFailure]
  alwaysRaise=[]
  freeRegs=[]
newRegister reg
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[]
pushValue GHC.Tuple.(,)
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[reg]
readRegister reg
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[reg]
lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[reg]
readRegister reg
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[reg]
lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[]
lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[]
ret
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[]