Symbol: sys__ksem_destroy