void gthread_mutex_destroy -> int gthread_mutex_destroy