semaphor: dtor