Symbol: smt_swap_para