Symbol: swap_uint32