Rate {; redo;} while (1)  for (;;)
{; redo;} 17.7/s        --       -4%       -5%
while (1) 18.5/s        4%        --       -0%
for (;;)  18.5/s        5%        0%        --