ADD_UINT128_UINT64
ADD_UINT128_UINT64(ctx->sha384_total[0], ctx->sha384_total[1], ilen);
ADD_UINT128_UINT64(ctx->sha512_total[0], ctx->sha512_total[1], ilen);