BE64_LO
un.words[BE64_LO] = sa_htobe32(val & 0xffffffffU);
un.words[BE64_LO] = sa_be32toh(un.words[BE64_LO]);
un.words[BE64_LO];