Symbol: swap_int32