queue_do_push     758 thread_sync.c      return queue_do_push(self, obj);
queue_do_push    1034 thread_sync.c      return queue_do_push(self, argv[0]);