Symbol: tm_abort_check