291#line 74
292 __cil_tmp40 = (unsigned int )p;
293#line 74
294 if (__cil_tmp40 != __cil_tmp39) {
295
296 } else {
297 goto while_3_break;
298 }
299 }
300 {
301#line 75
302 __cil_tmp41 = *((int *)p);
303#line 75
304 if (__cil_tmp41 != 2) {
305 goto ERROR;
306 } else {
307
308 }
309 }
310#line 76
311 __cil_tmp42 = (unsigned int )p;
312#line 76
313 __cil_tmp43 = __cil_tmp42 + 4;
314#line 76
315 p = *((struct node **)__cil_tmp43);
316 }
317 while_3_break: ;
318 }
319#line 79
320 return (0);
321 ERROR:
322#line 81
323 return (1);
324}
325}