LH
__u64 RH, LH, LL, xl64, result;
LH = __RH_LH_tbl[index1 + 1 - 256];
LH = LH + LL;
LH >>= (48 - 12 - 32);
result += LH;