Threads in C: The dining philosophers