Symbol: smt_string_swap