void KeccakP200_StatePermute(void *state, unsigned int nr)
{
    displayStateAsBytes(1, "Input of permutation", (const unsigned char *)state);
    for(nr=nrRounds-nr; nr<nrRounds; nr++)
		KeccakF200Round(state, nr);
    displayStateAsBytes(1, "State after permutation", (const unsigned char *)state);
}
void KeccakP200_StatePermute(void *state, unsigned int nr)
{
    displayStateAsBytes(1, "Input of permutation", (const unsigned char *)state);
    for(nr=nrRounds-nr; nr<nrRounds; nr++)
        // CHANGE static cast added
		KeccakF200Round(static_cast<tKeccakLane*>(state), nr);
    displayStateAsBytes(1, "State after permutation", (const unsigned char *)state);
}