R512_8_rounds
R512_8_rounds( 0);
R512_8_rounds( 1);
R512_8_rounds( 2);
R512_8_rounds( 3);
R512_8_rounds( 4);
R512_8_rounds( 5);
R512_8_rounds( 6);
R512_8_rounds( 7);
R512_8_rounds( 8);
R512_8_rounds( 9);
R512_8_rounds(10);
R512_8_rounds(11);
R512_8_rounds(12);
R512_8_rounds(13);
R512_8_rounds(14);