E_SEED
E_SEED(t0, t1, x1, x2, x3, x4, 0);
E_SEED(t0, t1, x3, x4, x1, x2, 2);
E_SEED(t0, t1, x1, x2, x3, x4, 4);
E_SEED(t0, t1, x3, x4, x1, x2, 6);
E_SEED(t0, t1, x1, x2, x3, x4, 8);
E_SEED(t0, t1, x3, x4, x1, x2, 10);
E_SEED(t0, t1, x1, x2, x3, x4, 12);
E_SEED(t0, t1, x3, x4, x1, x2, 14);
E_SEED(t0, t1, x1, x2, x3, x4, 16);
E_SEED(t0, t1, x3, x4, x1, x2, 18);
E_SEED(t0, t1, x1, x2, x3, x4, 20);
E_SEED(t0, t1, x3, x4, x1, x2, 22);
E_SEED(t0, t1, x1, x2, x3, x4, 24);
E_SEED(t0, t1, x3, x4, x1, x2, 26);
E_SEED(t0, t1, x1, x2, x3, x4, 28);
E_SEED(t0, t1, x3, x4, x1, x2, 30);
E_SEED(t0, t1, x1, x2, x3, x4, i);
E_SEED(t0, t1, x3, x4, x1, x2, i + 2);
E_SEED(t0, t1, x1, x2, x3, x4, 30);
E_SEED(t0, t1, x3, x4, x1, x2, 28);
E_SEED(t0, t1, x1, x2, x3, x4, 26);
E_SEED(t0, t1, x3, x4, x1, x2, 24);
E_SEED(t0, t1, x1, x2, x3, x4, 22);
E_SEED(t0, t1, x3, x4, x1, x2, 20);
E_SEED(t0, t1, x1, x2, x3, x4, 18);
E_SEED(t0, t1, x3, x4, x1, x2, 16);
E_SEED(t0, t1, x1, x2, x3, x4, 14);
E_SEED(t0, t1, x3, x4, x1, x2, 12);
E_SEED(t0, t1, x1, x2, x3, x4, 10);
E_SEED(t0, t1, x3, x4, x1, x2, 8);
E_SEED(t0, t1, x1, x2, x3, x4, 6);
E_SEED(t0, t1, x3, x4, x1, x2, 4);
E_SEED(t0, t1, x1, x2, x3, x4, 2);
E_SEED(t0, t1, x3, x4, x1, x2, 0);
E_SEED(t0, t1, x1, x2, x3, x4, i);
E_SEED(t0, t1, x3, x4, x1, x2, i - 2);