Make fannkuch run a little more quickly