rot31l
rot31l(&key->rd_key[12], &w0, &w1);
rot31l(&key->rd_key[13], &w1, &w2);
rot31l(&key->rd_key[14], &w2, &w3);
rot31l(&key->rd_key[15], &w3, &w0);