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