Re: [RndTbl] re: hyperthreading