[tzs]

I've used something like that:

   @state[1,2,3,5,6,7,9,10,11,13,14,15] =
     @state[5,10,15,9,14,3,13,2,7,1,6,11];

That's the row shift transformation in AES encryption.