U32TO8_LITTLE
U32TO8_LITTLE(x->ks + 0, x0);
U32TO8_LITTLE(x->ks + 4, x1);
U32TO8_LITTLE(x->ks + 8, x2);
U32TO8_LITTLE(x->ks + 12, x3);
U32TO8_LITTLE(x->ks + 16, x4);
U32TO8_LITTLE(x->ks + 20, x5);
U32TO8_LITTLE(x->ks + 24, x6);
U32TO8_LITTLE(x->ks + 28, x7);
U32TO8_LITTLE(x->ks + 32, x8);
U32TO8_LITTLE(x->ks + 36, x9);
U32TO8_LITTLE(x->ks + 40, x10);
U32TO8_LITTLE(x->ks + 44, x11);
U32TO8_LITTLE(x->ks + 48, x12);
U32TO8_LITTLE(x->ks + 52, x13);
U32TO8_LITTLE(x->ks + 56, x14);
U32TO8_LITTLE(x->ks + 60, x15);
U32TO8_LITTLE(c + 0, x0);
U32TO8_LITTLE(c + 4, x1);
U32TO8_LITTLE(c + 8, x2);
U32TO8_LITTLE(c + 12, x3);
U32TO8_LITTLE(c + 16, x4);
U32TO8_LITTLE(c + 20, x5);
U32TO8_LITTLE(c + 24, x6);
U32TO8_LITTLE(c + 28, x7);
U32TO8_LITTLE(c + 32, x8);
U32TO8_LITTLE(c + 36, x9);
U32TO8_LITTLE(c + 40, x10);
U32TO8_LITTLE(c + 44, x11);
U32TO8_LITTLE(c + 48, x12);
U32TO8_LITTLE(c + 52, x13);
U32TO8_LITTLE(c + 56, x14);
U32TO8_LITTLE(c + 60, x15);
U32TO8_LITTLE(subkey + 0, x[0]);
U32TO8_LITTLE(subkey + 4, x[1]);
U32TO8_LITTLE(subkey + 8, x[2]);
U32TO8_LITTLE(subkey + 12, x[3]);
U32TO8_LITTLE(subkey + 16, x[12]);
U32TO8_LITTLE(subkey + 20, x[13]);
U32TO8_LITTLE(subkey + 24, x[14]);
U32TO8_LITTLE(subkey + 28, x[15]);
U32TO8_LITTLE(c + 0,x0);
U32TO8_LITTLE(c + 4,x1);
U32TO8_LITTLE(c + 8,x2);
U32TO8_LITTLE(c + 12,x3);
U32TO8_LITTLE(c + 16,x4);
U32TO8_LITTLE(c + 20,x5);
U32TO8_LITTLE(c + 24,x6);
U32TO8_LITTLE(c + 28,x7);
U32TO8_LITTLE(c + 32,x8);
U32TO8_LITTLE(c + 36,x9);
U32TO8_LITTLE(c + 40,x10);
U32TO8_LITTLE(c + 44,x11);
U32TO8_LITTLE(c + 48,x12);
U32TO8_LITTLE(c + 52,x13);
U32TO8_LITTLE(c + 56,x14);
U32TO8_LITTLE(c + 60,x15);
U32TO8_LITTLE(counter + 0, x->input[12]);
U32TO8_LITTLE(counter + 4, x->input[13]);
U32TO8_LITTLE(counter + 8, x->input[14]);
U32TO8_LITTLE(counter + 12, x->input[15]);
U32TO8_LITTLE(c + 0,x0);
U32TO8_LITTLE(c + 4,x1);
U32TO8_LITTLE(c + 8,x2);
U32TO8_LITTLE(c + 12,x3);
U32TO8_LITTLE(c + 16,x4);
U32TO8_LITTLE(c + 20,x5);
U32TO8_LITTLE(c + 24,x6);
U32TO8_LITTLE(c + 28,x7);
U32TO8_LITTLE(c + 32,x8);
U32TO8_LITTLE(c + 36,x9);
U32TO8_LITTLE(c + 40,x10);
U32TO8_LITTLE(c + 44,x11);
U32TO8_LITTLE(c + 48,x12);
U32TO8_LITTLE(c + 52,x13);
U32TO8_LITTLE(c + 56,x14);
U32TO8_LITTLE(c + 60,x15);
U32TO8_LITTLE(derived_key + 0, x[0]);
U32TO8_LITTLE(derived_key + 4, x[1]);
U32TO8_LITTLE(derived_key + 8, x[2]);
U32TO8_LITTLE(derived_key + 12, x[3]);
U32TO8_LITTLE(derived_key + 16, x[12]);
U32TO8_LITTLE(derived_key + 20, x[13]);
U32TO8_LITTLE(derived_key + 24, x[14]);
U32TO8_LITTLE(derived_key + 28, x[15]);