hashState384
bcopy(i384p2, hashState384(state)->DoublePipe,
uint64_t *s64 = hashState384(state)->DoublePipe + 10;
bcopy(hashState384(state)->DoublePipe + 10, hashval,