GET_QUEUE_WAITERS  586 thread_sync.c      VALUE waiters = GET_QUEUE_WAITERS(self);
GET_QUEUE_WAITERS  623 thread_sync.c  	    VALUE waiters = GET_QUEUE_WAITERS(self);
GET_QUEUE_WAITERS  691 thread_sync.c      wakeup_first_thread(GET_QUEUE_WAITERS(self));
GET_QUEUE_WAITERS  784 thread_sync.c      args.waiting = GET_QUEUE_WAITERS(self);