#include <stdio.h>
int num_threads = 16;
int main() {
   printf("%d\n", 4);
   
   return 0;
}
---------------
extern int num_threads;
int var1;
int var2 = 0;
---------------