unlock_mutex
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
goto unlock_mutex;
goto unlock_mutex;
unlock_mutex:
ret = unlock_mutex(objs[1], 123, &count);
unlock_mutex(stress_mutex, wait_args.owner, &count);
ret = unlock_mutex(mutex, 0, &count);
ret = unlock_mutex(mutex, 456, &count);
ret = unlock_mutex(mutex, 123, &count);
ret = unlock_mutex(mutex, 123, &count);
ret = unlock_mutex(mutex, 123, &count);
ret = unlock_mutex(mutex, 456, &count);
ret = unlock_mutex(objs[1], 123, &count);
ret = unlock_mutex(objs[1], 123, &count);