Just a side note about benchmarking... It depends on the platform! See the result of your code on my Mac:
            Rate jwkrahn1  skeeve2 jwkrahn2   skeeve ike_orig ike_fast
jwkrahn1 49277/s       --     -11%     -15%     -17%     -20%     -50%
skeeve2  55160/s      12%       --      -5%      -7%     -10%     -44%
jwkrahn2 58151/s      18%       5%       --      -2%      -5%     -41%
skeeve   59291/s      20%       7%       2%       --      -3%     -40%
ike_orig 61250/s      24%      11%       5%       3%       --     -38%
ike_fast 98301/s      99%      78%      69%      66%      60%       --