dummy returns in gtthread_mutex