let\'s assume for example i have this piece of code
#include int var1 ; int varn; pthread_mutex_t mutex = PTHREAD_MU