le128_xor
le128_xor(wdst, &t, wsrc);
le128_xor(wdst++, &t, wsrc++);
le128_xor(&b, &rctx->t, &b);
le128_xor(b, &rctx->t, b);