114 __cil_tmp6 = (void *)0;
115#line 34
116 __cil_tmp7 = (pthread_attr_t const * __restrict )__cil_tmp6;
117#line 34
118 __cil_tmp8 = (void *)0;
119#line 34
120 __cil_tmp9 = (void * __restrict )__cil_tmp8;
121#line 34
122 pthread_create(__cil_tmp5, __cil_tmp7, & t1, __cil_tmp9);
123#line 35
124 __cil_tmp10 = (pthread_t * __restrict )(& id2);
125#line 35
126 __cil_tmp11 = (void *)0;
127#line 35
128 __cil_tmp12 = (pthread_attr_t const * __restrict )__cil_tmp11;
129#line 35
130 __cil_tmp13 = (void *)0;
131#line 35
132 __cil_tmp14 = (void * __restrict )__cil_tmp13;
133#line 35
134 pthread_create(__cil_tmp10, __cil_tmp12, & t2, __cil_tmp14);
135 }
136#line 37
137 if (i >= 377) {
138 goto _L;
139 } else {
140#line 37
141 if (j >= 377) {
142 _L:
143 goto ERROR;
144 ERROR: ;
145 } else {
146
147 }
148 }
149#line 43
150 return (0);
151}
152}