LE64_HI
un.words[LE64_HI] = sa_htole32(val >> 32);
un.words[LE64_HI] = sa_le32toh(un.words[LE64_HI]);
rv = (((uint64_t)un.words[LE64_HI]) << 32) |