pushValue GHC.Show.show
  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=[]
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 (\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=[]
lift2Value (\u_0 -> \u_1 -> u_0 u_1)
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[]
ret
  minReads=0
  mayRaise=[]
  alwaysRaise=[]
  freeRegs=[]