Symbol: smp_execute