Nel main io ho scritto

codice:
int main(){
    pthread_t th1;
    msg_t* msg;
    buffer_t *buffer_vuoto = buffer_init(1);
    msg_t* msg = (msg_t*) malloc(sizeof(msg_t))
    pthread_create(&th1,NULL,put_bloccante,(buffer_vuoto,msg));
    msg_t* msg1 =(msg_t*)malloc( sizeof(msg_t) );
    pthread_join(th1,&msg1);
    buffer_destroy(buffer_vuoto);
}