Symbol: an_switch32