Symbol: bswab32