Hello, I just pushed a fix to prodcons_double test. The mistake I made is really stupid so I hope you will have a good laugh about it :-). Sorry for causing the trouble with sem_trywait twice. I will keep this in mind when evaluating your solutions. - VH