ecb_bswap32
ecb_function_ ecb_const uint32_t ecb_bswap32 (uint32_t x);
return (((uint64_t)ecb_bswap32 (x)) << 32) | ecb_bswap32 (x >> 32);