Assume that Wait and Signal are implemented as below:

void Wait (Semaphore S) { while (S.count <= 0) {} S.count = S.count - 1; }

void Signal (Semaphore S) { S.count = S.count + 1; }

Describe a scenario of context switches where 2 threads, T1 and T2, can both enter a critical section guarded by a single mutex semaphore as a result of a lack of atomicity.