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