spin -a urcu.spin 
cc -DSAFETY -o pan pan.c
./pan