Symbol: tt_assert