Switched from run-time to compile-time initialization of the wait-queue