#include <stdio.h>
#include <pthread.h>

void *thr_main(void *arg);
int value;

int main(int argc, char *argv[]){
  pthread_t thrID;

  value = 1;
  pthread_create(&thrID, NULL, thr_main, NULL);
  pthread_join(thrID, NULL); 
  printf("value: %d\n",value);

  return(0);
}

void *thr_main(void *arg){
  value++;
}
