Symbol: acquire_sem