Symbol: __xchg_called_with_bad_pointer