Symbol: mp_leave_barrier