Symbol: ecb_bswap64