Re: Conversion between STRef RealWorld and IORef