wridgers

sipRound : [4][64] -> [4][64];
sipRound [v0 v1 v2 v3] = [v0_3 v1_4 v2_3 v3_4]
  where {
    v0_1 = v0 + v1;  
    v1_1 = v1 << 13;  
    v1_2 = v1_1 ^ v0_1;  
    v0_2 = v0_1 << 32;

    v2_1 = v2 + v3;  
    v3_1 = v3 << 16;