push InstrPureHaskell ()
` ret