b) A new operating system provides a synchronization API and a library for user-level programs (i.e. like the pthread) for which the mutex lock and unlock operation are implemented with test_and set like this: void mutex_lock (mutex* plock) while (test_and_set (plock)) f Ji void mutex_unlock (mutex* plock) f *plock false; Is this implementation of mutex synchronization correct for use in general purpose user-level applications? What could go wrong