Symbol: smp_assert