449 goto while_1_break;
450 }
451 {
452#line 115
453 tmp___1 = empty(& queue);
454 }
455#line 115
456 if (tmp___1 != -1) {
457 {
458#line 116
459 tmp = dequeue(& queue);
460 }
461#line 116
462 if (tmp) {
463#line 116
464 tmp___0 = 0;
465 } else {
466#line 116
467 tmp___0 = 1;
468 }
469 {
470#line 116
471 __cil_tmp6 = i * 4U;
472#line 116
473 __cil_tmp7 = (unsigned int )(stored_elements) + __cil_tmp6;
474#line 116
475 __cil_tmp8 = *((int *)__cil_tmp7);
476#line 116
477 if (tmp___0 == __cil_tmp8) {
478 goto ERROR;
479 ERROR: ;
480 } else {
481
482 }
483 }
484 } else {
485
486 }
487#line 113
488 i = i + 1;
489 }