omp_destroy_nest_lock(category9-linux-distributionen.html) - phpMan