Deadlock Detection in C