Symbol: sm_abort_at