LE64_LO
un.words[LE64_LO] = sa_htole32(val & 0xffffffffU);
un.words[LE64_LO] = sa_le32toh(un.words[LE64_LO]);
un.words[LE64_LO];