Re: "+RTS -A" parameter and CPU cache size