486 goto while_1_break;
487 }
488 {
489#line 128
490 pthread_mutex_lock(& m);
491 }
492#line 129
493 if (dequeue_flag) {
494 {
495#line 131
496 tmp = dequeue(& queue);
497 }
498#line 131
499 if (tmp) {
500#line 131
501 tmp___0 = 0;
502 } else {
503#line 131
504 tmp___0 = 1;
505 }
506 {
507#line 131
508 __cil_tmp5 = i * 4U;
509#line 131
510 __cil_tmp6 = (unsigned int )(stored_elements) + __cil_tmp5;
511#line 131
512 __cil_tmp7 = *((int *)__cil_tmp6);
513#line 131
514 if (tmp___0 == __cil_tmp7) {
515 goto ERROR;
516 ERROR: ;
517 } else {
518
519 }
520 }
521#line 136
522 dequeue_flag = (_Bool)0;
523#line 137
524 enqueue_flag = (_Bool)1;
525 } else {
526