Corrections to Simple Semaphore in assignments 3 and 4 after grading results