Many current language specifications, such as for C and C$++,$ are inadequate formultithreaded programs. This can have an impact on compilers and the correctnessof code, as this problem illustrates. Consider the following declarations and functiondefinition:int global$\_$positives $=0$;typedef struct list $\{$