Phase1
Phase1(ctx->txttak, k->k_key, wh->i_addr2, k->k_tsc >> 16);
Phase1(ctx->rxttak, k->k_key, wh->i_addr2, tsc >> 16);
static void Phase1(u16b *, const byte *, const byte *, u32b);