/* $begin sharing */
#include "csapp.h"
#define N 2
void *thread(void *vargp);

char **ptr;  /* Global variable */ //line:conc:sharing:ptrdec

int main(int argc, char *argv[]) 
{
    long i;  
    pthread_t tid;
    char *msgs[N] = {
	"Hello from foo",  
	"Hello from bar"   
    };

    ptr = msgs; 
    for (i = 0; i < N; i++)  
        Pthread_create(&tid, NULL, thread, (void *) i); 
    Pthread_exit(NULL);
    return 0;
}

void *thread(void *vargp) 
{
    long myid = (long) vargp;
    static long cnt = 0; //line:conc:sharing:cntdec
    printf("[%ld]: %s (cnt=%ld)\n", myid, ptr[myid], ++cnt); //line:conc:sharing:stack
    return NULL;
}
/* $end sharing */