improvements to +RTS -s output