#include <pthread.h>

void *thread(void *arg) {
    char *msg = (char*)arg;
    printf("thread: %s\n", msg);
    free(msg);
    return NULL;
}

#include "EXTERN.h"
...