use <sys/queue.h> (which is OS-independent)