Re: simple questions about +RTS -s output