BE64_HI
un.words[BE64_HI] = sa_htobe32(val >> 32);
un.words[BE64_HI] = sa_be32toh(un.words[BE64_HI]);
rv = (((uint64_t)un.words[BE64_HI]) << 32) |