redgf256
return redgf256(x ^ (x << 3));
return redgf256(x ^ (x << 1) ^ (x << 3));
return redgf256(x ^ (x << 2) ^ (x << 3));
return redgf256((x << 1) ^ (x << 2) ^ (x << 3));