source: src/tests/.expect/sched-ext-parse.txt@ a31b384

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since a31b384 was 3aeaecd, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

Reduce the number of unique names generated for argument copy construction
  • Property mode set to 100644
File size: 136.9 KB
Line 
1__attribute__ ((__nothrow__,__leaf__,__malloc__)) extern void *malloc(unsigned long int __size);
2__attribute__ ((__nothrow__,__leaf__)) extern void free(void *__ptr);
3__attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void abort(void);
4__attribute__ ((__nothrow__,__leaf__,__nonnull__(1))) extern signed int atexit(void (*__func)(void));
5__attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void exit(signed int __status);
6extern signed int printf(const char *__restrict __format, ...);
7__attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void __assert_fail(const char *__assertion, const char *__file, unsigned int __line, const char *__function);
8__attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void __assert_perror_fail(signed int __errnum, const char *__file, unsigned int __line, const char *__function);
9__attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void __assert(const char *__assertion, const char *__file, signed int __line);
10__attribute__ ((noreturn,format(printf, 5, 6))) void __assert_fail_f(const char *assertion, const char *file, unsigned int line, const char *function, const char *fmt, ...);
11struct spinlock {
12 volatile signed int lock;
13 const char *prev_name;
14 void *prev_thrd;
15};
16static inline void ___constructor__F_R9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1);
17static inline void ___constructor__F_R9sspinlock9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1, struct spinlock ___src__9sspinlock_1);
18static inline void ___destructor__F_R9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1);
19static inline struct spinlock ___operator_assign__F9sspinlock_R9sspinlock9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1, struct spinlock ___src__9sspinlock_1);
20static inline void ___constructor__F_R9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1){
21 ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))) /* ?{} */);
22 ((void)((*___dst__R9sspinlock_1).prev_name) /* ?{} */);
23 ((void)((*___dst__R9sspinlock_1).prev_thrd) /* ?{} */);
24}
25static inline void ___constructor__F_R9sspinlock9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1, struct spinlock ___src__9sspinlock_1){
26 ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))=___src__9sspinlock_1.lock) /* ?{} */);
27 ((void)((*___dst__R9sspinlock_1).prev_name=___src__9sspinlock_1.prev_name) /* ?{} */);
28 ((void)((*___dst__R9sspinlock_1).prev_thrd=___src__9sspinlock_1.prev_thrd) /* ?{} */);
29}
30static inline void ___destructor__F_R9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1){
31 ((void)((*___dst__R9sspinlock_1).prev_thrd) /* ^?{} */);
32 ((void)((*___dst__R9sspinlock_1).prev_name) /* ^?{} */);
33 ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))) /* ^?{} */);
34}
35static inline struct spinlock ___operator_assign__F9sspinlock_R9sspinlock9sspinlock_autogen___1(struct spinlock *___dst__R9sspinlock_1, struct spinlock ___src__9sspinlock_1){
36 struct spinlock ___ret__9sspinlock_1;
37 ((void)((*___dst__R9sspinlock_1).lock=___src__9sspinlock_1.lock));
38 ((void)((*___dst__R9sspinlock_1).prev_name=___src__9sspinlock_1.prev_name));
39 ((void)((*___dst__R9sspinlock_1).prev_thrd=___src__9sspinlock_1.prev_thrd));
40 ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&___ret__9sspinlock_1), ___src__9sspinlock_1));
41 return ((struct spinlock )___ret__9sspinlock_1);
42}
43static inline void ___constructor__F_R9sspinlockVi_autogen___1(struct spinlock *___dst__R9sspinlock_1, volatile signed int __lock__Vi_1){
44 ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))=__lock__Vi_1) /* ?{} */);
45 ((void)((*___dst__R9sspinlock_1).prev_name) /* ?{} */);
46 ((void)((*___dst__R9sspinlock_1).prev_thrd) /* ?{} */);
47}
48static inline void ___constructor__F_R9sspinlockViPCc_autogen___1(struct spinlock *___dst__R9sspinlock_1, volatile signed int __lock__Vi_1, const char *__prev_name__PCc_1){
49 ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))=__lock__Vi_1) /* ?{} */);
50 ((void)((*___dst__R9sspinlock_1).prev_name=__prev_name__PCc_1) /* ?{} */);
51 ((void)((*___dst__R9sspinlock_1).prev_thrd) /* ?{} */);
52}
53static inline void ___constructor__F_R9sspinlockViPCcPv_autogen___1(struct spinlock *___dst__R9sspinlock_1, volatile signed int __lock__Vi_1, const char *__prev_name__PCc_1, void *__prev_thrd__Pv_1){
54 ((void)((*((signed int *)(&(*___dst__R9sspinlock_1).lock)))=__lock__Vi_1) /* ?{} */);
55 ((void)((*___dst__R9sspinlock_1).prev_name=__prev_name__PCc_1) /* ?{} */);
56 ((void)((*___dst__R9sspinlock_1).prev_thrd=__prev_thrd__Pv_1) /* ?{} */);
57}
58struct __thread_queue_t {
59 struct thread_desc *head;
60 struct thread_desc **tail;
61};
62static inline void ___constructor__F_R17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1);
63static inline void ___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct __thread_queue_t ___src__17s__thread_queue_t_1);
64static inline void ___destructor__F_R17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1);
65static inline struct __thread_queue_t ___operator_assign__F17s__thread_queue_t_R17s__thread_queue_t17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct __thread_queue_t ___src__17s__thread_queue_t_1);
66static inline void ___constructor__F_R17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1){
67 ((void)((*___dst__R17s__thread_queue_t_1).head) /* ?{} */);
68 ((void)((*___dst__R17s__thread_queue_t_1).tail) /* ?{} */);
69}
70static inline void ___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct __thread_queue_t ___src__17s__thread_queue_t_1){
71 ((void)((*___dst__R17s__thread_queue_t_1).head=___src__17s__thread_queue_t_1.head) /* ?{} */);
72 ((void)((*___dst__R17s__thread_queue_t_1).tail=___src__17s__thread_queue_t_1.tail) /* ?{} */);
73}
74static inline void ___destructor__F_R17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1){
75 ((void)((*___dst__R17s__thread_queue_t_1).tail) /* ^?{} */);
76 ((void)((*___dst__R17s__thread_queue_t_1).head) /* ^?{} */);
77}
78static inline struct __thread_queue_t ___operator_assign__F17s__thread_queue_t_R17s__thread_queue_t17s__thread_queue_t_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct __thread_queue_t ___src__17s__thread_queue_t_1){
79 struct __thread_queue_t ___ret__17s__thread_queue_t_1;
80 ((void)((*___dst__R17s__thread_queue_t_1).head=___src__17s__thread_queue_t_1.head));
81 ((void)((*___dst__R17s__thread_queue_t_1).tail=___src__17s__thread_queue_t_1.tail));
82 ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&___ret__17s__thread_queue_t_1), ___src__17s__thread_queue_t_1));
83 return ((struct __thread_queue_t )___ret__17s__thread_queue_t_1);
84}
85static inline void ___constructor__F_R17s__thread_queue_tP12sthread_desc_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct thread_desc *__head__P12sthread_desc_1){
86 ((void)((*___dst__R17s__thread_queue_t_1).head=__head__P12sthread_desc_1) /* ?{} */);
87 ((void)((*___dst__R17s__thread_queue_t_1).tail) /* ?{} */);
88}
89static inline void ___constructor__F_R17s__thread_queue_tP12sthread_descPP12sthread_desc_autogen___1(struct __thread_queue_t *___dst__R17s__thread_queue_t_1, struct thread_desc *__head__P12sthread_desc_1, struct thread_desc **__tail__PP12sthread_desc_1){
90 ((void)((*___dst__R17s__thread_queue_t_1).head=__head__P12sthread_desc_1) /* ?{} */);
91 ((void)((*___dst__R17s__thread_queue_t_1).tail=__tail__PP12sthread_desc_1) /* ?{} */);
92}
93struct __condition_stack_t {
94 struct __condition_criterion_t *top;
95};
96static inline void ___constructor__F_R20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1);
97static inline void ___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_stack_t ___src__20s__condition_stack_t_1);
98static inline void ___destructor__F_R20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1);
99static inline struct __condition_stack_t ___operator_assign__F20s__condition_stack_t_R20s__condition_stack_t20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_stack_t ___src__20s__condition_stack_t_1);
100static inline void ___constructor__F_R20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1){
101 ((void)((*___dst__R20s__condition_stack_t_1).top) /* ?{} */);
102}
103static inline void ___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_stack_t ___src__20s__condition_stack_t_1){
104 ((void)((*___dst__R20s__condition_stack_t_1).top=___src__20s__condition_stack_t_1.top) /* ?{} */);
105}
106static inline void ___destructor__F_R20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1){
107 ((void)((*___dst__R20s__condition_stack_t_1).top) /* ^?{} */);
108}
109static inline struct __condition_stack_t ___operator_assign__F20s__condition_stack_t_R20s__condition_stack_t20s__condition_stack_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_stack_t ___src__20s__condition_stack_t_1){
110 struct __condition_stack_t ___ret__20s__condition_stack_t_1;
111 ((void)((*___dst__R20s__condition_stack_t_1).top=___src__20s__condition_stack_t_1.top));
112 ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&___ret__20s__condition_stack_t_1), ___src__20s__condition_stack_t_1));
113 return ((struct __condition_stack_t )___ret__20s__condition_stack_t_1);
114}
115static inline void ___constructor__F_R20s__condition_stack_tP24s__condition_criterion_t_autogen___1(struct __condition_stack_t *___dst__R20s__condition_stack_t_1, struct __condition_criterion_t *__top__P24s__condition_criterion_t_1){
116 ((void)((*___dst__R20s__condition_stack_t_1).top=__top__P24s__condition_criterion_t_1) /* ?{} */);
117}
118void ___constructor__F_R17s__thread_queue_t__1(struct __thread_queue_t *__anonymous_object0);
119void __append__F_P17s__thread_queue_tP12sthread_desc__1(struct __thread_queue_t *__anonymous_object1, struct thread_desc *__anonymous_object2);
120struct thread_desc *__pop_head__FP12sthread_desc_P17s__thread_queue_t__1(struct __thread_queue_t *__anonymous_object3);
121struct thread_desc *__remove__FP12sthread_desc_P17s__thread_queue_tPP12sthread_desc__1(struct __thread_queue_t *__anonymous_object4, struct thread_desc **__anonymous_object5);
122void ___constructor__F_R20s__condition_stack_t__1(struct __condition_stack_t *__anonymous_object6);
123void __push__F_P20s__condition_stack_tP24s__condition_criterion_t__1(struct __condition_stack_t *__anonymous_object7, struct __condition_criterion_t *__anonymous_object8);
124struct __condition_criterion_t *__pop__FP24s__condition_criterion_t_P20s__condition_stack_t__1(struct __condition_stack_t *__anonymous_object9);
125void ___constructor__F_R9sspinlock__1(struct spinlock *__this__R9sspinlock_1);
126void ___destructor__F_R9sspinlock__1(struct spinlock *__this__R9sspinlock_1);
127struct coStack_t {
128 unsigned int size;
129 void *storage;
130 void *limit;
131 void *base;
132 void *context;
133 void *top;
134 _Bool userStack;
135};
136static inline void ___constructor__F_R10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1);
137static inline void ___constructor__F_R10scoStack_t10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, struct coStack_t ___src__10scoStack_t_1);
138static inline void ___destructor__F_R10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1);
139static inline struct coStack_t ___operator_assign__F10scoStack_t_R10scoStack_t10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, struct coStack_t ___src__10scoStack_t_1);
140static inline void ___constructor__F_R10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1){
141 ((void)((*___dst__R10scoStack_t_1).size) /* ?{} */);
142 ((void)((*___dst__R10scoStack_t_1).storage) /* ?{} */);
143 ((void)((*___dst__R10scoStack_t_1).limit) /* ?{} */);
144 ((void)((*___dst__R10scoStack_t_1).base) /* ?{} */);
145 ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */);
146 ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */);
147 ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */);
148}
149static inline void ___constructor__F_R10scoStack_t10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, struct coStack_t ___src__10scoStack_t_1){
150 ((void)((*___dst__R10scoStack_t_1).size=___src__10scoStack_t_1.size) /* ?{} */);
151 ((void)((*___dst__R10scoStack_t_1).storage=___src__10scoStack_t_1.storage) /* ?{} */);
152 ((void)((*___dst__R10scoStack_t_1).limit=___src__10scoStack_t_1.limit) /* ?{} */);
153 ((void)((*___dst__R10scoStack_t_1).base=___src__10scoStack_t_1.base) /* ?{} */);
154 ((void)((*___dst__R10scoStack_t_1).context=___src__10scoStack_t_1.context) /* ?{} */);
155 ((void)((*___dst__R10scoStack_t_1).top=___src__10scoStack_t_1.top) /* ?{} */);
156 ((void)((*___dst__R10scoStack_t_1).userStack=___src__10scoStack_t_1.userStack) /* ?{} */);
157}
158static inline void ___destructor__F_R10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1){
159 ((void)((*___dst__R10scoStack_t_1).userStack) /* ^?{} */);
160 ((void)((*___dst__R10scoStack_t_1).top) /* ^?{} */);
161 ((void)((*___dst__R10scoStack_t_1).context) /* ^?{} */);
162 ((void)((*___dst__R10scoStack_t_1).base) /* ^?{} */);
163 ((void)((*___dst__R10scoStack_t_1).limit) /* ^?{} */);
164 ((void)((*___dst__R10scoStack_t_1).storage) /* ^?{} */);
165 ((void)((*___dst__R10scoStack_t_1).size) /* ^?{} */);
166}
167static inline struct coStack_t ___operator_assign__F10scoStack_t_R10scoStack_t10scoStack_t_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, struct coStack_t ___src__10scoStack_t_1){
168 struct coStack_t ___ret__10scoStack_t_1;
169 ((void)((*___dst__R10scoStack_t_1).size=___src__10scoStack_t_1.size));
170 ((void)((*___dst__R10scoStack_t_1).storage=___src__10scoStack_t_1.storage));
171 ((void)((*___dst__R10scoStack_t_1).limit=___src__10scoStack_t_1.limit));
172 ((void)((*___dst__R10scoStack_t_1).base=___src__10scoStack_t_1.base));
173 ((void)((*___dst__R10scoStack_t_1).context=___src__10scoStack_t_1.context));
174 ((void)((*___dst__R10scoStack_t_1).top=___src__10scoStack_t_1.top));
175 ((void)((*___dst__R10scoStack_t_1).userStack=___src__10scoStack_t_1.userStack));
176 ((void)___constructor__F_R10scoStack_t10scoStack_t_autogen___1((&___ret__10scoStack_t_1), ___src__10scoStack_t_1));
177 return ((struct coStack_t )___ret__10scoStack_t_1);
178}
179static inline void ___constructor__F_R10scoStack_tUi_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1){
180 ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */);
181 ((void)((*___dst__R10scoStack_t_1).storage) /* ?{} */);
182 ((void)((*___dst__R10scoStack_t_1).limit) /* ?{} */);
183 ((void)((*___dst__R10scoStack_t_1).base) /* ?{} */);
184 ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */);
185 ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */);
186 ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */);
187}
188static inline void ___constructor__F_R10scoStack_tUiPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1){
189 ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */);
190 ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */);
191 ((void)((*___dst__R10scoStack_t_1).limit) /* ?{} */);
192 ((void)((*___dst__R10scoStack_t_1).base) /* ?{} */);
193 ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */);
194 ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */);
195 ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */);
196}
197static inline void ___constructor__F_R10scoStack_tUiPvPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1){
198 ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */);
199 ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */);
200 ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */);
201 ((void)((*___dst__R10scoStack_t_1).base) /* ?{} */);
202 ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */);
203 ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */);
204 ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */);
205}
206static inline void ___constructor__F_R10scoStack_tUiPvPvPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1, void *__base__Pv_1){
207 ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */);
208 ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */);
209 ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */);
210 ((void)((*___dst__R10scoStack_t_1).base=__base__Pv_1) /* ?{} */);
211 ((void)((*___dst__R10scoStack_t_1).context) /* ?{} */);
212 ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */);
213 ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */);
214}
215static inline void ___constructor__F_R10scoStack_tUiPvPvPvPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1, void *__base__Pv_1, void *__context__Pv_1){
216 ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */);
217 ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */);
218 ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */);
219 ((void)((*___dst__R10scoStack_t_1).base=__base__Pv_1) /* ?{} */);
220 ((void)((*___dst__R10scoStack_t_1).context=__context__Pv_1) /* ?{} */);
221 ((void)((*___dst__R10scoStack_t_1).top) /* ?{} */);
222 ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */);
223}
224static inline void ___constructor__F_R10scoStack_tUiPvPvPvPvPv_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1, void *__base__Pv_1, void *__context__Pv_1, void *__top__Pv_1){
225 ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */);
226 ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */);
227 ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */);
228 ((void)((*___dst__R10scoStack_t_1).base=__base__Pv_1) /* ?{} */);
229 ((void)((*___dst__R10scoStack_t_1).context=__context__Pv_1) /* ?{} */);
230 ((void)((*___dst__R10scoStack_t_1).top=__top__Pv_1) /* ?{} */);
231 ((void)((*___dst__R10scoStack_t_1).userStack) /* ?{} */);
232}
233static inline void ___constructor__F_R10scoStack_tUiPvPvPvPvPvb_autogen___1(struct coStack_t *___dst__R10scoStack_t_1, unsigned int __size__Ui_1, void *__storage__Pv_1, void *__limit__Pv_1, void *__base__Pv_1, void *__context__Pv_1, void *__top__Pv_1, _Bool __userStack__b_1){
234 ((void)((*___dst__R10scoStack_t_1).size=__size__Ui_1) /* ?{} */);
235 ((void)((*___dst__R10scoStack_t_1).storage=__storage__Pv_1) /* ?{} */);
236 ((void)((*___dst__R10scoStack_t_1).limit=__limit__Pv_1) /* ?{} */);
237 ((void)((*___dst__R10scoStack_t_1).base=__base__Pv_1) /* ?{} */);
238 ((void)((*___dst__R10scoStack_t_1).context=__context__Pv_1) /* ?{} */);
239 ((void)((*___dst__R10scoStack_t_1).top=__top__Pv_1) /* ?{} */);
240 ((void)((*___dst__R10scoStack_t_1).userStack=__userStack__b_1) /* ?{} */);
241}
242enum coroutine_state {
243 Halted,
244 Start,
245 Inactive,
246 Active,
247 Primed,
248};
249struct coroutine_desc {
250 struct coStack_t stack;
251 const char *name;
252 signed int errno_;
253 enum coroutine_state state;
254 struct coroutine_desc *starter;
255 struct coroutine_desc *last;
256};
257struct __waitfor_mask_t {
258 signed short int *accepted;
259 struct __acceptable_t *clauses;
260 signed short int size;
261};
262static inline void ___constructor__F_R17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1);
263static inline void ___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, struct __waitfor_mask_t ___src__17s__waitfor_mask_t_1);
264static inline void ___destructor__F_R17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1);
265static inline struct __waitfor_mask_t ___operator_assign__F17s__waitfor_mask_t_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, struct __waitfor_mask_t ___src__17s__waitfor_mask_t_1);
266static inline void ___constructor__F_R17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1){
267 ((void)((*___dst__R17s__waitfor_mask_t_1).accepted) /* ?{} */);
268 ((void)((*___dst__R17s__waitfor_mask_t_1).clauses) /* ?{} */);
269 ((void)((*___dst__R17s__waitfor_mask_t_1).size) /* ?{} */);
270}
271static inline void ___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, struct __waitfor_mask_t ___src__17s__waitfor_mask_t_1){
272 ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=___src__17s__waitfor_mask_t_1.accepted) /* ?{} */);
273 ((void)((*___dst__R17s__waitfor_mask_t_1).clauses=___src__17s__waitfor_mask_t_1.clauses) /* ?{} */);
274 ((void)((*___dst__R17s__waitfor_mask_t_1).size=___src__17s__waitfor_mask_t_1.size) /* ?{} */);
275}
276static inline void ___destructor__F_R17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1){
277 ((void)((*___dst__R17s__waitfor_mask_t_1).size) /* ^?{} */);
278 ((void)((*___dst__R17s__waitfor_mask_t_1).clauses) /* ^?{} */);
279 ((void)((*___dst__R17s__waitfor_mask_t_1).accepted) /* ^?{} */);
280}
281static inline struct __waitfor_mask_t ___operator_assign__F17s__waitfor_mask_t_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, struct __waitfor_mask_t ___src__17s__waitfor_mask_t_1){
282 struct __waitfor_mask_t ___ret__17s__waitfor_mask_t_1;
283 ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=___src__17s__waitfor_mask_t_1.accepted));
284 ((void)((*___dst__R17s__waitfor_mask_t_1).clauses=___src__17s__waitfor_mask_t_1.clauses));
285 ((void)((*___dst__R17s__waitfor_mask_t_1).size=___src__17s__waitfor_mask_t_1.size));
286 ((void)___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&___ret__17s__waitfor_mask_t_1), ___src__17s__waitfor_mask_t_1));
287 return ((struct __waitfor_mask_t )___ret__17s__waitfor_mask_t_1);
288}
289static inline void ___constructor__F_R17s__waitfor_mask_tPs_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, signed short int *__accepted__Ps_1){
290 ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=__accepted__Ps_1) /* ?{} */);
291 ((void)((*___dst__R17s__waitfor_mask_t_1).clauses) /* ?{} */);
292 ((void)((*___dst__R17s__waitfor_mask_t_1).size) /* ?{} */);
293}
294static inline void ___constructor__F_R17s__waitfor_mask_tPsP15s__acceptable_t_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, signed short int *__accepted__Ps_1, struct __acceptable_t *__clauses__P15s__acceptable_t_1){
295 ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=__accepted__Ps_1) /* ?{} */);
296 ((void)((*___dst__R17s__waitfor_mask_t_1).clauses=__clauses__P15s__acceptable_t_1) /* ?{} */);
297 ((void)((*___dst__R17s__waitfor_mask_t_1).size) /* ?{} */);
298}
299static inline void ___constructor__F_R17s__waitfor_mask_tPsP15s__acceptable_ts_autogen___1(struct __waitfor_mask_t *___dst__R17s__waitfor_mask_t_1, signed short int *__accepted__Ps_1, struct __acceptable_t *__clauses__P15s__acceptable_t_1, signed short int __size__s_1){
300 ((void)((*___dst__R17s__waitfor_mask_t_1).accepted=__accepted__Ps_1) /* ?{} */);
301 ((void)((*___dst__R17s__waitfor_mask_t_1).clauses=__clauses__P15s__acceptable_t_1) /* ?{} */);
302 ((void)((*___dst__R17s__waitfor_mask_t_1).size=__size__s_1) /* ?{} */);
303}
304struct monitor_desc {
305 struct spinlock lock;
306 struct thread_desc *owner;
307 struct __thread_queue_t entry_queue;
308 struct __condition_stack_t signal_stack;
309 unsigned int recursion;
310 struct __waitfor_mask_t mask;
311};
312static inline void ___constructor__F_R13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1);
313static inline void ___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct monitor_desc ___src__13smonitor_desc_1);
314static inline void ___destructor__F_R13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1);
315static inline struct monitor_desc ___operator_assign__F13smonitor_desc_R13smonitor_desc13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct monitor_desc ___src__13smonitor_desc_1);
316static inline void ___constructor__F_R13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1){
317 ((void)___constructor__F_R9sspinlock__1((&(*___dst__R13smonitor_desc_1).lock)));
318 ((void)((*___dst__R13smonitor_desc_1).owner) /* ?{} */);
319 ((void)___constructor__F_R17s__thread_queue_t__1((&(*___dst__R13smonitor_desc_1).entry_queue)));
320 ((void)___constructor__F_R20s__condition_stack_t__1((&(*___dst__R13smonitor_desc_1).signal_stack)));
321 ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */);
322 ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask)));
323}
324static inline void ___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct monitor_desc ___src__13smonitor_desc_1){
325 ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), ___src__13smonitor_desc_1.lock));
326 ((void)((*___dst__R13smonitor_desc_1).owner=___src__13smonitor_desc_1.owner) /* ?{} */);
327 ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), ___src__13smonitor_desc_1.entry_queue));
328 ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), ___src__13smonitor_desc_1.signal_stack));
329 ((void)((*___dst__R13smonitor_desc_1).recursion=___src__13smonitor_desc_1.recursion) /* ?{} */);
330 ((void)___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask), ___src__13smonitor_desc_1.mask));
331}
332static inline void ___destructor__F_R13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1){
333 ((void)___destructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask)));
334 ((void)((*___dst__R13smonitor_desc_1).recursion) /* ^?{} */);
335 ((void)___destructor__F_R20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack)));
336 ((void)___destructor__F_R17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue)));
337 ((void)((*___dst__R13smonitor_desc_1).owner) /* ^?{} */);
338 ((void)___destructor__F_R9sspinlock__1((&(*___dst__R13smonitor_desc_1).lock)));
339}
340static inline struct monitor_desc ___operator_assign__F13smonitor_desc_R13smonitor_desc13smonitor_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct monitor_desc ___src__13smonitor_desc_1){
341 struct monitor_desc ___ret__13smonitor_desc_1;
342 struct spinlock _tmp_cp0;
343 struct spinlock _tmp_cp_ret0;
344 ((void)(((void)(_tmp_cp_ret0=___operator_assign__F9sspinlock_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), (((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&_tmp_cp0), ___src__13smonitor_desc_1.lock)) , _tmp_cp0)))) , _tmp_cp_ret0));
345 ((void)___destructor__F_R9sspinlock__1((&_tmp_cp_ret0)));
346 ((void)___destructor__F_R9sspinlock__1((&_tmp_cp0)));
347 ((void)((*___dst__R13smonitor_desc_1).owner=___src__13smonitor_desc_1.owner));
348 struct __thread_queue_t _tmp_cp1;
349 struct __thread_queue_t _tmp_cp_ret1;
350 ((void)(((void)(_tmp_cp_ret1=___operator_assign__F17s__thread_queue_t_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), (((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&_tmp_cp1), ___src__13smonitor_desc_1.entry_queue)) , _tmp_cp1)))) , _tmp_cp_ret1));
351 ((void)___destructor__F_R17s__thread_queue_t_autogen___1((&_tmp_cp_ret1)));
352 ((void)___destructor__F_R17s__thread_queue_t_autogen___1((&_tmp_cp1)));
353 struct __condition_stack_t _tmp_cp2;
354 struct __condition_stack_t _tmp_cp_ret2;
355 ((void)(((void)(_tmp_cp_ret2=___operator_assign__F20s__condition_stack_t_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), (((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&_tmp_cp2), ___src__13smonitor_desc_1.signal_stack)) , _tmp_cp2)))) , _tmp_cp_ret2));
356 ((void)___destructor__F_R20s__condition_stack_t_autogen___1((&_tmp_cp_ret2)));
357 ((void)___destructor__F_R20s__condition_stack_t_autogen___1((&_tmp_cp2)));
358 ((void)((*___dst__R13smonitor_desc_1).recursion=___src__13smonitor_desc_1.recursion));
359 struct __waitfor_mask_t _tmp_cp3;
360 struct __waitfor_mask_t _tmp_cp_ret3;
361 ((void)(((void)(_tmp_cp_ret3=___operator_assign__F17s__waitfor_mask_t_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask), (((void)___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&_tmp_cp3), ___src__13smonitor_desc_1.mask)) , _tmp_cp3)))) , _tmp_cp_ret3));
362 ((void)___destructor__F_R17s__waitfor_mask_t_autogen___1((&_tmp_cp_ret3)));
363 ((void)___destructor__F_R17s__waitfor_mask_t_autogen___1((&_tmp_cp3)));
364 ((void)___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1((&___ret__13smonitor_desc_1), ___src__13smonitor_desc_1));
365 return ((struct monitor_desc )___ret__13smonitor_desc_1);
366}
367static inline void ___constructor__F_R13smonitor_desc9sspinlock_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1){
368 ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1));
369 ((void)((*___dst__R13smonitor_desc_1).owner) /* ?{} */);
370 ((void)___constructor__F_R17s__thread_queue_t__1((&(*___dst__R13smonitor_desc_1).entry_queue)));
371 ((void)___constructor__F_R20s__condition_stack_t__1((&(*___dst__R13smonitor_desc_1).signal_stack)));
372 ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */);
373 ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask)));
374}
375static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1){
376 ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1));
377 ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */);
378 ((void)___constructor__F_R17s__thread_queue_t__1((&(*___dst__R13smonitor_desc_1).entry_queue)));
379 ((void)___constructor__F_R20s__condition_stack_t__1((&(*___dst__R13smonitor_desc_1).signal_stack)));
380 ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */);
381 ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask)));
382}
383static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc17s__thread_queue_t_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1, struct __thread_queue_t __entry_queue__17s__thread_queue_t_1){
384 ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1));
385 ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */);
386 ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), __entry_queue__17s__thread_queue_t_1));
387 ((void)___constructor__F_R20s__condition_stack_t__1((&(*___dst__R13smonitor_desc_1).signal_stack)));
388 ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */);
389 ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask)));
390}
391static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc17s__thread_queue_t20s__condition_stack_t_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1, struct __thread_queue_t __entry_queue__17s__thread_queue_t_1, struct __condition_stack_t __signal_stack__20s__condition_stack_t_1){
392 ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1));
393 ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */);
394 ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), __entry_queue__17s__thread_queue_t_1));
395 ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), __signal_stack__20s__condition_stack_t_1));
396 ((void)((*___dst__R13smonitor_desc_1).recursion) /* ?{} */);
397 ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask)));
398}
399static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc17s__thread_queue_t20s__condition_stack_tUi_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1, struct __thread_queue_t __entry_queue__17s__thread_queue_t_1, struct __condition_stack_t __signal_stack__20s__condition_stack_t_1, unsigned int __recursion__Ui_1){
400 ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1));
401 ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */);
402 ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), __entry_queue__17s__thread_queue_t_1));
403 ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), __signal_stack__20s__condition_stack_t_1));
404 ((void)((*___dst__R13smonitor_desc_1).recursion=__recursion__Ui_1) /* ?{} */);
405 ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask)));
406}
407static inline void ___constructor__F_R13smonitor_desc9sspinlockP12sthread_desc17s__thread_queue_t20s__condition_stack_tUi17s__waitfor_mask_t_autogen___1(struct monitor_desc *___dst__R13smonitor_desc_1, struct spinlock __lock__9sspinlock_1, struct thread_desc *__owner__P12sthread_desc_1, struct __thread_queue_t __entry_queue__17s__thread_queue_t_1, struct __condition_stack_t __signal_stack__20s__condition_stack_t_1, unsigned int __recursion__Ui_1, struct __waitfor_mask_t __mask__17s__waitfor_mask_t_1){
408 ((void)___constructor__F_R9sspinlock9sspinlock_autogen___1((&(*___dst__R13smonitor_desc_1).lock), __lock__9sspinlock_1));
409 ((void)((*___dst__R13smonitor_desc_1).owner=__owner__P12sthread_desc_1) /* ?{} */);
410 ((void)___constructor__F_R17s__thread_queue_t17s__thread_queue_t_autogen___1((&(*___dst__R13smonitor_desc_1).entry_queue), __entry_queue__17s__thread_queue_t_1));
411 ((void)___constructor__F_R20s__condition_stack_t20s__condition_stack_t_autogen___1((&(*___dst__R13smonitor_desc_1).signal_stack), __signal_stack__20s__condition_stack_t_1));
412 ((void)((*___dst__R13smonitor_desc_1).recursion=__recursion__Ui_1) /* ?{} */);
413 ((void)___constructor__F_R17s__waitfor_mask_t17s__waitfor_mask_t_autogen___1((&(*___dst__R13smonitor_desc_1).mask), __mask__17s__waitfor_mask_t_1));
414}
415struct __monitor_group_t {
416 struct monitor_desc **list;
417 signed short int size;
418 void (*func)();
419};
420static inline void ___constructor__F_R18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1);
421static inline void ___constructor__F_R18s__monitor_group_t18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct __monitor_group_t ___src__18s__monitor_group_t_1);
422static inline void ___destructor__F_R18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1);
423static inline struct __monitor_group_t ___operator_assign__F18s__monitor_group_t_R18s__monitor_group_t18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct __monitor_group_t ___src__18s__monitor_group_t_1);
424static inline void ___constructor__F_R18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1){
425 ((void)((*___dst__R18s__monitor_group_t_1).list) /* ?{} */);
426 ((void)((*___dst__R18s__monitor_group_t_1).size) /* ?{} */);
427 ((void)((*___dst__R18s__monitor_group_t_1).func) /* ?{} */);
428}
429static inline void ___constructor__F_R18s__monitor_group_t18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct __monitor_group_t ___src__18s__monitor_group_t_1){
430 ((void)((*___dst__R18s__monitor_group_t_1).list=___src__18s__monitor_group_t_1.list) /* ?{} */);
431 ((void)((*___dst__R18s__monitor_group_t_1).size=___src__18s__monitor_group_t_1.size) /* ?{} */);
432 ((void)((*___dst__R18s__monitor_group_t_1).func=___src__18s__monitor_group_t_1.func) /* ?{} */);
433}
434static inline void ___destructor__F_R18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1){
435 ((void)((*___dst__R18s__monitor_group_t_1).func) /* ^?{} */);
436 ((void)((*___dst__R18s__monitor_group_t_1).size) /* ^?{} */);
437 ((void)((*___dst__R18s__monitor_group_t_1).list) /* ^?{} */);
438}
439static inline struct __monitor_group_t ___operator_assign__F18s__monitor_group_t_R18s__monitor_group_t18s__monitor_group_t_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct __monitor_group_t ___src__18s__monitor_group_t_1){
440 struct __monitor_group_t ___ret__18s__monitor_group_t_1;
441 ((void)((*___dst__R18s__monitor_group_t_1).list=___src__18s__monitor_group_t_1.list));
442 ((void)((*___dst__R18s__monitor_group_t_1).size=___src__18s__monitor_group_t_1.size));
443 ((void)((*___dst__R18s__monitor_group_t_1).func=___src__18s__monitor_group_t_1.func));
444 ((void)___constructor__F_R18s__monitor_group_t18s__monitor_group_t_autogen___1((&___ret__18s__monitor_group_t_1), ___src__18s__monitor_group_t_1));
445 return ((struct __monitor_group_t )___ret__18s__monitor_group_t_1);
446}
447static inline void ___constructor__F_R18s__monitor_group_tPP13smonitor_desc_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct monitor_desc **__list__PP13smonitor_desc_1){
448 ((void)((*___dst__R18s__monitor_group_t_1).list=__list__PP13smonitor_desc_1) /* ?{} */);
449 ((void)((*___dst__R18s__monitor_group_t_1).size) /* ?{} */);
450 ((void)((*___dst__R18s__monitor_group_t_1).func) /* ?{} */);
451}
452static inline void ___constructor__F_R18s__monitor_group_tPP13smonitor_descs_autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct monitor_desc **__list__PP13smonitor_desc_1, signed short int __size__s_1){
453 ((void)((*___dst__R18s__monitor_group_t_1).list=__list__PP13smonitor_desc_1) /* ?{} */);
454 ((void)((*___dst__R18s__monitor_group_t_1).size=__size__s_1) /* ?{} */);
455 ((void)((*___dst__R18s__monitor_group_t_1).func) /* ?{} */);
456}
457static inline void ___constructor__F_R18s__monitor_group_tPP13smonitor_descsPF___autogen___1(struct __monitor_group_t *___dst__R18s__monitor_group_t_1, struct monitor_desc **__list__PP13smonitor_desc_1, signed short int __size__s_1, void (*__func__PF___1)()){
458 ((void)((*___dst__R18s__monitor_group_t_1).list=__list__PP13smonitor_desc_1) /* ?{} */);
459 ((void)((*___dst__R18s__monitor_group_t_1).size=__size__s_1) /* ?{} */);
460 ((void)((*___dst__R18s__monitor_group_t_1).func=__func__PF___1) /* ?{} */);
461}
462struct thread_desc {
463 struct coroutine_desc self_cor;
464 struct monitor_desc self_mon;
465 struct monitor_desc *self_mon_p;
466 struct __monitor_group_t monitors;
467 struct thread_desc *next;
468};
469static inline struct monitor_desc *___operator_index__FP13smonitor_desc_RC18s__monitor_group_tl__1(const struct __monitor_group_t *__this__RC18s__monitor_group_t_1, signed long int __index__l_1){
470 __attribute__ ((unused)) struct monitor_desc *___retval__operator_index__P13smonitor_desc_1;
471 ((void)(___retval__operator_index__P13smonitor_desc_1=(*__this__RC18s__monitor_group_t_1).list[__index__l_1]) /* ?{} */);
472 return ((struct monitor_desc *)___retval__operator_index__P13smonitor_desc_1);
473}
474static inline _Bool ___operator_equal__Fb_RC18s__monitor_group_tRC18s__monitor_group_t__1(const struct __monitor_group_t *__lhs__RC18s__monitor_group_t_1, const struct __monitor_group_t *__rhs__RC18s__monitor_group_t_1){
475 __attribute__ ((unused)) _Bool ___retval__operator_equal__b_1;
476 if ( ((signed int )((((*__lhs__RC18s__monitor_group_t_1).list!=((struct monitor_desc **)0))!=((*__rhs__RC18s__monitor_group_t_1).list!=((struct monitor_desc **)0)))!=((signed int )0))) ) {
477 ((void)(___retval__operator_equal__b_1=((_Bool )0)) /* ?{} */);
478 return ((_Bool )___retval__operator_equal__b_1);
479 }
480
481 if ( ((signed int )(((*__lhs__RC18s__monitor_group_t_1).size!=(*__rhs__RC18s__monitor_group_t_1).size)!=((signed int )0))) ) {
482 ((void)(___retval__operator_equal__b_1=((_Bool )0)) /* ?{} */);
483 return ((_Bool )___retval__operator_equal__b_1);
484 }
485
486 if ( ((signed int )(((*__lhs__RC18s__monitor_group_t_1).func!=(*__rhs__RC18s__monitor_group_t_1).func)!=((signed int )0))) ) {
487 ((void)(___retval__operator_equal__b_1=((_Bool )0)) /* ?{} */);
488 return ((_Bool )___retval__operator_equal__b_1);
489 }
490
491 {
492 signed int __i__i_3 = ((signed int )0);
493 for (;((signed int )((__i__i_3<((signed int )(*__lhs__RC18s__monitor_group_t_1).size))!=((signed int )0)));((void)__i__i_3++)) {
494 struct monitor_desc *_tmp_cp_ret4;
495 struct monitor_desc *_tmp_cp_ret5;
496 if ( ((signed int )(((((void)(_tmp_cp_ret4=___operator_index__FP13smonitor_desc_RC18s__monitor_group_tl__1(__lhs__RC18s__monitor_group_t_1, ((signed long int )__i__i_3)))) , _tmp_cp_ret4)!=(((void)(_tmp_cp_ret5=___operator_index__FP13smonitor_desc_RC18s__monitor_group_tl__1(__rhs__RC18s__monitor_group_t_1, ((signed long int )__i__i_3)))) , _tmp_cp_ret5))!=((signed int )0))) ) {
497 ((void)(___retval__operator_equal__b_1=((_Bool )0)) /* ?{} */);
498 return ((_Bool )___retval__operator_equal__b_1);
499 }
500
501 ((void)(_tmp_cp_ret4) /* ^?{} */);
502 ((void)(_tmp_cp_ret5) /* ^?{} */);
503 }
504
505 }
506
507 ((void)(___retval__operator_equal__b_1=((_Bool )1)) /* ?{} */);
508 return ((_Bool )___retval__operator_equal__b_1);
509}
510static inline void *__malloc__A0_1_0_0__FPd0___1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT){
511 __attribute__ ((unused)) void *___retval_malloc__P2tT_1;
512 void *_tmp_cp_ret6;
513 ((void)(___retval_malloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret6=malloc(((unsigned long int )_sizeof_2tT)))) , _tmp_cp_ret6)))) /* ?{} */);
514 ((void)(_tmp_cp_ret6) /* ^?{} */);
515 return ((void *)___retval_malloc__P2tT_1);
516}
517void *calloc(unsigned long int dim, unsigned long int size);
518static inline void *__calloc__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __dim__Ul_1){
519 __attribute__ ((unused)) void *___retval_calloc__P2tT_1;
520 void *_tmp_cp_ret7;
521 ((void)(___retval_calloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret7=calloc(__dim__Ul_1, _sizeof_2tT))) , _tmp_cp_ret7)))) /* ?{} */);
522 ((void)(_tmp_cp_ret7) /* ^?{} */);
523 return ((void *)___retval_calloc__P2tT_1);
524}
525void *realloc(void *ptr, unsigned long int size);
526static inline void *__realloc__A0_1_0_0__FPd0_Pd0Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__ptr__P2tT_1, unsigned long int __size__Ul_1){
527 __attribute__ ((unused)) void *___retval_realloc__P2tT_1;
528 void *_tmp_cp_ret8;
529 ((void)(___retval_realloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret8=realloc(((void *)__ptr__P2tT_1), __size__Ul_1))) , _tmp_cp_ret8)))) /* ?{} */);
530 ((void)(_tmp_cp_ret8) /* ^?{} */);
531 return ((void *)___retval_realloc__P2tT_1);
532}
533void *memalign(unsigned long int align, unsigned long int size);
534static inline void *__memalign__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1){
535 __attribute__ ((unused)) void *___retval_memalign__P2tT_1;
536 void *_tmp_cp_ret9;
537 ((void)(___retval_memalign__P2tT_1=((void *)(((void)(_tmp_cp_ret9=memalign(__align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret9))) /* ?{} */);
538 ((void)(_tmp_cp_ret9) /* ^?{} */);
539 return ((void *)___retval_memalign__P2tT_1);
540}
541static inline void *__aligned_alloc__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1){
542 __attribute__ ((unused)) void *___retval_aligned_alloc__P2tT_1;
543 void *_tmp_cp_ret10;
544 ((void)(___retval_aligned_alloc__P2tT_1=((void *)(((void)(_tmp_cp_ret10=memalign(__align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret10))) /* ?{} */);
545 ((void)(_tmp_cp_ret10) /* ^?{} */);
546 return ((void *)___retval_aligned_alloc__P2tT_1);
547}
548signed int posix_memalign(void **ptr, unsigned long int align, unsigned long int size);
549static inline signed int __posix_memalign__A0_1_0_0__Fi_PPd0Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void **__ptr__PP2tT_1, unsigned long int __align__Ul_1){
550 __attribute__ ((unused)) signed int ___retval_posix_memalign__i_1;
551 signed int _tmp_cp_ret11;
552 ((void)(___retval_posix_memalign__i_1=(((void)(_tmp_cp_ret11=posix_memalign(((void **)__ptr__PP2tT_1), __align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret11)) /* ?{} */);
553 ((void)(_tmp_cp_ret11) /* ^?{} */);
554 return ((signed int )___retval_posix_memalign__i_1);
555}
556void *memset(void *dest, signed int c, unsigned long int size);
557static inline void *__alloc__A0_1_0_0__FPd0___1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT){
558 __attribute__ ((unused)) void *___retval_alloc__P2tT_1;
559 void *_tmp_cp_ret12;
560 ((void)(___retval_alloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret12=malloc(((unsigned long int )_sizeof_2tT)))) , _tmp_cp_ret12)))) /* ?{} */);
561 ((void)(_tmp_cp_ret12) /* ^?{} */);
562 return ((void *)___retval_alloc__P2tT_1);
563}
564static inline void *__alloc__A0_1_0_0__FPd0_c__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, char __fill__c_1){
565 __attribute__ ((unused)) void *___retval_alloc__P2tT_1;
566 void *_tmp_cp_ret13;
567 void *__ptr__P2tT_2 = ((void *)((void *)((void *)(((void)(_tmp_cp_ret13=malloc(((unsigned long int )_sizeof_2tT)))) , _tmp_cp_ret13))));
568 ((void)(_tmp_cp_ret13) /* ^?{} */);
569 void *_tmp_cp_ret14;
570 ((void)(___retval_alloc__P2tT_1=(((void)(_tmp_cp_ret14=memset(((void *)__ptr__P2tT_2), ((signed int )__fill__c_1), _sizeof_2tT))) , _tmp_cp_ret14)) /* ?{} */);
571 ((void)(_tmp_cp_ret14) /* ^?{} */);
572 return ((void *)___retval_alloc__P2tT_1);
573}
574static inline void *__alloc__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __dim__Ul_1){
575 __attribute__ ((unused)) void *___retval_alloc__P2tT_1;
576 void *_tmp_cp_ret15;
577 ((void)(___retval_alloc__P2tT_1=((void *)((void *)(((void)(_tmp_cp_ret15=malloc((__dim__Ul_1*((unsigned long int )_sizeof_2tT))))) , _tmp_cp_ret15)))) /* ?{} */);
578 ((void)(_tmp_cp_ret15) /* ^?{} */);
579 return ((void *)___retval_alloc__P2tT_1);
580}
581static inline void *__alloc__A0_1_0_0__FPd0_Ulc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __dim__Ul_1, char __fill__c_1){
582 __attribute__ ((unused)) void *___retval_alloc__P2tT_1;
583 void *_tmp_cp_ret16;
584 void *__ptr__P2tT_2 = ((void *)((void *)((void *)(((void)(_tmp_cp_ret16=malloc((__dim__Ul_1*((unsigned long int )_sizeof_2tT))))) , _tmp_cp_ret16))));
585 ((void)(_tmp_cp_ret16) /* ^?{} */);
586 void *_tmp_cp_ret17;
587 ((void)(___retval_alloc__P2tT_1=(((void)(_tmp_cp_ret17=memset(((void *)__ptr__P2tT_2), ((signed int )__fill__c_1), (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret17)) /* ?{} */);
588 ((void)(_tmp_cp_ret17) /* ^?{} */);
589 return ((void *)___retval_alloc__P2tT_1);
590}
591static inline void *__alloc__A0_1_0_0__FPd0_Pd0Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__ptr__P2tT_1, unsigned long int __dim__Ul_1){
592 __attribute__ ((unused)) void *___retval_alloc__P2tT_1;
593 void *_tmp_cp_ret18;
594 ((void)(___retval_alloc__P2tT_1=((void *)(((void)(_tmp_cp_ret18=realloc(((void *)__ptr__P2tT_1), (__dim__Ul_1*((unsigned long int )_sizeof_2tT))))) , _tmp_cp_ret18))) /* ?{} */);
595 ((void)(_tmp_cp_ret18) /* ^?{} */);
596 return ((void *)___retval_alloc__P2tT_1);
597}
598void *__alloc__A0_1_0_0__FPd0_Pd0Ulc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__ptr__P2tT_1, unsigned long int __dim__Ul_1, char __fill__c_1);
599static inline void *__align_alloc__A0_1_0_0__FPd0_Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1){
600 __attribute__ ((unused)) void *___retval_align_alloc__P2tT_1;
601 void *_tmp_cp_ret19;
602 ((void)(___retval_align_alloc__P2tT_1=((void *)(((void)(_tmp_cp_ret19=memalign(__align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret19))) /* ?{} */);
603 ((void)(_tmp_cp_ret19) /* ^?{} */);
604 return ((void *)___retval_align_alloc__P2tT_1);
605}
606static inline void *__align_alloc__A0_1_0_0__FPd0_Ulc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1, char __fill__c_1){
607 __attribute__ ((unused)) void *___retval_align_alloc__P2tT_1;
608 void *_tmp_cp_ret20;
609 void *__ptr__P2tT_2 = ((void *)((void *)(((void)(_tmp_cp_ret20=memalign(__align__Ul_1, _sizeof_2tT))) , _tmp_cp_ret20)));
610 ((void)(_tmp_cp_ret20) /* ^?{} */);
611 void *_tmp_cp_ret21;
612 ((void)(___retval_align_alloc__P2tT_1=(((void)(_tmp_cp_ret21=memset(((void *)__ptr__P2tT_2), ((signed int )__fill__c_1), _sizeof_2tT))) , _tmp_cp_ret21)) /* ?{} */);
613 ((void)(_tmp_cp_ret21) /* ^?{} */);
614 return ((void *)___retval_align_alloc__P2tT_1);
615}
616static inline void *__align_alloc__A0_1_0_0__FPd0_UlUl__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1, unsigned long int __dim__Ul_1){
617 __attribute__ ((unused)) void *___retval_align_alloc__P2tT_1;
618 void *_tmp_cp_ret22;
619 ((void)(___retval_align_alloc__P2tT_1=((void *)(((void)(_tmp_cp_ret22=memalign(__align__Ul_1, (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret22))) /* ?{} */);
620 ((void)(_tmp_cp_ret22) /* ^?{} */);
621 return ((void *)___retval_align_alloc__P2tT_1);
622}
623static inline void *__align_alloc__A0_1_0_0__FPd0_UlUlc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, unsigned long int __align__Ul_1, unsigned long int __dim__Ul_1, char __fill__c_1){
624 __attribute__ ((unused)) void *___retval_align_alloc__P2tT_1;
625 void *_tmp_cp_ret23;
626 void *__ptr__P2tT_2 = ((void *)((void *)(((void)(_tmp_cp_ret23=memalign(__align__Ul_1, (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret23)));
627 ((void)(_tmp_cp_ret23) /* ^?{} */);
628 void *_tmp_cp_ret24;
629 ((void)(___retval_align_alloc__P2tT_1=(((void)(_tmp_cp_ret24=memset(((void *)__ptr__P2tT_2), ((signed int )__fill__c_1), (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret24)) /* ?{} */);
630 ((void)(_tmp_cp_ret24) /* ^?{} */);
631 return ((void *)___retval_align_alloc__P2tT_1);
632}
633static inline void *__memset__A0_1_0_0__FPd0_Pd0c__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__dest__P2tT_1, char __c__c_1){
634 __attribute__ ((unused)) void *___retval_memset__P2tT_1;
635 void *_tmp_cp_ret25;
636 ((void)(___retval_memset__P2tT_1=(((void)(_tmp_cp_ret25=memset(((void *)__dest__P2tT_1), ((signed int )__c__c_1), _sizeof_2tT))) , _tmp_cp_ret25)) /* ?{} */);
637 ((void)(_tmp_cp_ret25) /* ^?{} */);
638 return ((void *)___retval_memset__P2tT_1);
639}
640void *memcpy(void *dest, const void *src, unsigned long int size);
641static inline void *__memcpy__A0_1_0_0__FPd0_Pd0PCd0__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__dest__P2tT_1, const void *__src__PC2tT_1){
642 __attribute__ ((unused)) void *___retval_memcpy__P2tT_1;
643 void *_tmp_cp_ret26;
644 ((void)(___retval_memcpy__P2tT_1=(((void)(_tmp_cp_ret26=memcpy(((void *)__dest__P2tT_1), ((const void *)__src__PC2tT_1), _sizeof_2tT))) , _tmp_cp_ret26)) /* ?{} */);
645 ((void)(_tmp_cp_ret26) /* ^?{} */);
646 return ((void *)___retval_memcpy__P2tT_1);
647}
648static inline void *__memset__A0_1_0_0__FPd0_Pd0Ulc__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__dest__P2tT_1, unsigned long int __dim__Ul_1, char __c__c_1){
649 __attribute__ ((unused)) void *___retval_memset__P2tT_1;
650 void *_tmp_cp_ret27;
651 ((void)(___retval_memset__P2tT_1=((void *)(((void)(_tmp_cp_ret27=memset(((void *)__dest__P2tT_1), ((signed int )__c__c_1), (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret27))) /* ?{} */);
652 ((void)(_tmp_cp_ret27) /* ^?{} */);
653 return ((void *)___retval_memset__P2tT_1);
654}
655static inline void *__memcpy__A0_1_0_0__FPd0_Pd0PCd0Ul__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, void *__dest__P2tT_1, const void *__src__PC2tT_1, unsigned long int __dim__Ul_1){
656 __attribute__ ((unused)) void *___retval_memcpy__P2tT_1;
657 void *_tmp_cp_ret28;
658 ((void)(___retval_memcpy__P2tT_1=((void *)(((void)(_tmp_cp_ret28=memcpy(((void *)__dest__P2tT_1), ((const void *)__src__PC2tT_1), (__dim__Ul_1*_sizeof_2tT)))) , _tmp_cp_ret28))) /* ?{} */);
659 ((void)(_tmp_cp_ret28) /* ^?{} */);
660 return ((void *)___retval_memcpy__P2tT_1);
661}
662void *__new__A0_1_0_1____constructor__PF_Rd0tVARGS1__FPd0_tVARGS1__1(__attribute__ ((unused)) void (*_adapterF_P2tT7tParams__MP)(void (*__anonymous_object10)(), void *__anonymous_object11, void *__anonymous_object12), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) unsigned long int _sizeof_7tParams, __attribute__ ((unused)) unsigned long int _alignof_7tParams, __attribute__ ((unused)) void (*___constructor__PF_R2tT7tParams__1)(void *__anonymous_object13, void *__anonymous_object14), void *__p__7tParams_1);
663void __delete__A0_1_0_0____destructor__PF_Rd0__F_Pd0__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object15), void *__ptr__P2tT_1);
664void __delete__A0_1_0_1____destructor__PF_Rd0___delete__PF_tVARGS1__F_Pd0tVARGS1__1(__attribute__ ((unused)) void (*_adapterF_7tParams__P)(void (*__anonymous_object16)(), void *__anonymous_object17), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) unsigned long int _sizeof_7tParams, __attribute__ ((unused)) unsigned long int _alignof_7tParams, __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object18), __attribute__ ((unused)) void (*__delete__PF_7tParams__1)(void *__anonymous_object19), void *__ptr__P2tT_1, void *__rest__7tParams_1);
665void *__anew__A0_1_0_1____constructor__PF_Rd0tVARGS1__FPd0_UltVARGS1__1(__attribute__ ((unused)) void (*_adapterF_P2tT7tParams__MP)(void (*__anonymous_object20)(), void *__anonymous_object21, void *__anonymous_object22), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) unsigned long int _sizeof_7tParams, __attribute__ ((unused)) unsigned long int _alignof_7tParams, __attribute__ ((unused)) void (*___constructor__PF_R2tT7tParams__1)(void *__anonymous_object23, void *__anonymous_object24), unsigned long int __dim__Ul_1, void *__p__7tParams_1);
666void __adelete__A0_1_0_0____destructor__PF_Rd0__F_UlPd0__1(__attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object25), unsigned long int __dim__Ul_1, void *__arr__P2tT_1);
667void __adelete__A0_1_0_1____destructor__PF_Rd0___adelete__PF_tVARGS1__F_UlPd0tVARGS1__1(__attribute__ ((unused)) void (*_adapterF_7tParams__P)(void (*__anonymous_object26)(), void *__anonymous_object27), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) unsigned long int _sizeof_7tParams, __attribute__ ((unused)) unsigned long int _alignof_7tParams, __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object28), __attribute__ ((unused)) void (*__adelete__PF_7tParams__1)(void *__anonymous_object29), unsigned long int __dim__Ul_1, void *__arr__P2tT_1, void *__rest__7tParams_1);
668signed int __ato__Fi_PCc__1(const char *__ptr__PCc_1);
669unsigned int __ato__FUi_PCc__1(const char *__ptr__PCc_1);
670signed long int __ato__Fl_PCc__1(const char *__ptr__PCc_1);
671unsigned long int __ato__FUl_PCc__1(const char *__ptr__PCc_1);
672signed long long int __ato__Fq_PCc__1(const char *__ptr__PCc_1);
673unsigned long long int __ato__FUq_PCc__1(const char *__ptr__PCc_1);
674float __ato__Ff_PCc__1(const char *__ptr__PCc_1);
675double __ato__Fd_PCc__1(const char *__ptr__PCc_1);
676long double __ato__Fr_PCc__1(const char *__ptr__PCc_1);
677float _Complex __ato__FXf_PCc__1(const char *__ptr__PCc_1);
678double _Complex __ato__FXd_PCc__1(const char *__ptr__PCc_1);
679long double _Complex __ato__FXr_PCc__1(const char *__ptr__PCc_1);
680signed int __strto__Fi_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1);
681unsigned int __strto__FUi_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1);
682signed long int __strto__Fl_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1);
683unsigned long int __strto__FUl_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1);
684signed long long int __strto__Fq_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1);
685unsigned long long int __strto__FUq_PCcPPci__1(const char *__sptr__PCc_1, char **__eptr__PPc_1, signed int __base__i_1);
686float __strto__Ff_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1);
687double __strto__Fd_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1);
688long double __strto__Fr_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1);
689float _Complex __strto__FXf_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1);
690double _Complex __strto__FXd_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1);
691long double _Complex __strto__FXr_PCcPPc__1(const char *__sptr__PCc_1, char **__eptr__PPc_1);
692void *__bsearch__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_less__PFi_t0t0__FPt0_t0PCt0Ul__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object30)(), void *__anonymous_object31, void *__anonymous_object32), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object33)(), void *__anonymous_object34, void *__anonymous_object35), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object36)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object37, void *__anonymous_object38), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object39, void *__anonymous_object40), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object41), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object42, void *__anonymous_object43), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object44), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object45, void *__anonymous_object46), void *__key__2tT_1, const void *__arr__PC2tT_1, unsigned long int __dim__Ul_1);
693unsigned int __bsearch__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_less__PFi_t0t0__FUi_t0PCt0Ul__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object47)(), void *__anonymous_object48, void *__anonymous_object49), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object50)(), void *__anonymous_object51, void *__anonymous_object52), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object53)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object54, void *__anonymous_object55), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object56, void *__anonymous_object57), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object58), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object59, void *__anonymous_object60), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object61), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object62, void *__anonymous_object63), void *__key__2tT_1, const void *__arr__PC2tT_1, unsigned long int __dim__Ul_1);
694void __qsort__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_less__PFi_t0t0__F_PCt0Ul__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object64)(), void *__anonymous_object65, void *__anonymous_object66), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object67)(), void *__anonymous_object68, void *__anonymous_object69), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object70)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object71, void *__anonymous_object72), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object73, void *__anonymous_object74), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object75), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object76, void *__anonymous_object77), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object78), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object79, void *__anonymous_object80), const void *__arr__PC2tT_1, unsigned long int __dim__Ul_1);
695struct _tuple2_ {
696};
697static inline void _layoutof__tuple2_(unsigned long int *_sizeof__tuple2_, unsigned long int *_alignof__tuple2_, unsigned long int *_offsetof__tuple2_, unsigned long int _sizeof_16ttuple_param_2_0, unsigned long int _alignof_16ttuple_param_2_0, unsigned long int _sizeof_16ttuple_param_2_1, unsigned long int _alignof_16ttuple_param_2_1){
698 ((void)((*_sizeof__tuple2_)=0));
699 ((void)((*_alignof__tuple2_)=1));
700 ((void)(_offsetof__tuple2_[0]=(*_sizeof__tuple2_)));
701 ((void)((*_sizeof__tuple2_)+=_sizeof_16ttuple_param_2_0));
702 if ( ((*_alignof__tuple2_)<_alignof_16ttuple_param_2_0) ) ((void)((*_alignof__tuple2_)=_alignof_16ttuple_param_2_0));
703
704 if ( ((*_sizeof__tuple2_)&(_alignof_16ttuple_param_2_1-1)) ) ((void)((*_sizeof__tuple2_)+=(_alignof_16ttuple_param_2_1-((*_sizeof__tuple2_)&(_alignof_16ttuple_param_2_1-1)))));
705
706 ((void)(_offsetof__tuple2_[1]=(*_sizeof__tuple2_)));
707 ((void)((*_sizeof__tuple2_)+=_sizeof_16ttuple_param_2_1));
708 if ( ((*_alignof__tuple2_)<_alignof_16ttuple_param_2_1) ) ((void)((*_alignof__tuple2_)=_alignof_16ttuple_param_2_1));
709
710 if ( ((*_sizeof__tuple2_)&((*_alignof__tuple2_)-1)) ) ((void)((*_sizeof__tuple2_)+=((*_alignof__tuple2_)-((*_sizeof__tuple2_)&((*_alignof__tuple2_)-1)))));
711
712}
713struct _conc__tuple2_0 {
714 signed int field_0;
715 signed int field_1;
716};
717struct _conc__tuple2_0 __div__FTii__ii__1(signed int __num__i_1, signed int __denom__i_1);
718struct _conc__tuple2_1 {
719 signed long int field_0;
720 signed long int field_1;
721};
722struct _conc__tuple2_1 __div__FTll__ll__1(signed long int __num__l_1, signed long int __denom__l_1);
723struct _conc__tuple2_2 {
724 signed long long int field_0;
725 signed long long int field_1;
726};
727struct _conc__tuple2_2 __div__FTqq__qq__1(signed long long int __num__q_1, signed long long int __denom__q_1);
728void __div__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_divide__PFt0_t0t0____operator_modulus__PFt0_t0t0__FTt0t0__t0t0__1(__attribute__ ((unused)) void (*_adapterF2tT_2tT2tT_P_PP)(void (*__anonymous_object81)(), __attribute__ ((unused)) void *___retval__operator_divide__2tT_1, void *__anonymous_object82, void *__anonymous_object83), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object84)(), void *__anonymous_object85, void *__anonymous_object86), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object87)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object88, void *__anonymous_object89), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object90, void *__anonymous_object91), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object92), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object93, void *__anonymous_object94), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object95), __attribute__ ((unused)) void *(*___operator_divide__PF2tT_2tT2tT__1)(void *__anonymous_object96, void *__anonymous_object97), __attribute__ ((unused)) void *(*___operator_modulus__PF2tT_2tT2tT__1)(void *__anonymous_object98, void *__anonymous_object99), __attribute__ ((unused)) void *___retval_div__T2tT2tT__1, void *__num__2tT_1, void *__demon__2tT_1);
729unsigned char __abs__FUc_Sc__1(signed char __anonymous_object100);
730signed int abs(signed int __anonymous_object101);
731unsigned long int __abs__FUl_l__1(signed long int __anonymous_object102);
732unsigned long long int __abs__FUq_q__1(signed long long int __anonymous_object103);
733float __abs__Ff_f__1(float __anonymous_object104);
734double __abs__Fd_d__1(double __anonymous_object105);
735long double __abs__Fr_r__1(long double __anonymous_object106);
736float __abs__Ff_Xf__1(float _Complex __anonymous_object107);
737double __abs__Fd_Xd__1(double _Complex __anonymous_object108);
738long double __abs__Fr_Xr__1(long double _Complex __anonymous_object109);
739void __abs__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____constructor__PF_Rt0Z____operator_less__PFi_t0t0____operator_unaryminus__PFt0_t0__Ft0_t0__1(__attribute__ ((unused)) void (*_adapterF2tT_2tT_P_P)(void (*__anonymous_object110)(), __attribute__ ((unused)) void *___retval__operator_unaryminus__2tT_1, void *__anonymous_object111), __attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object112)(), void *__anonymous_object113, void *__anonymous_object114), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object115)(), void *__anonymous_object116, void *__anonymous_object117), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object118)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object119, void *__anonymous_object120), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object121, void *__anonymous_object122), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object123), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object124, void *__anonymous_object125), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object126), __attribute__ ((unused)) void (*___constructor__PF_R2tTZ__1)(void *__anonymous_object127, long int __anonymous_object128), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object129, void *__anonymous_object130), __attribute__ ((unused)) void *(*___operator_unaryminus__PF2tT_2tT__1)(void *__anonymous_object131), __attribute__ ((unused)) void *___retval_abs__2tT_1, void *__anonymous_object132);
740void __rand48seed__F_l__1(signed long int __s__l_1);
741char __rand48__Fc___1(void);
742signed int __rand48__Fi___1(void);
743unsigned int __rand48__FUi___1(void);
744signed long int __rand48__Fl___1(void);
745unsigned long int __rand48__FUl___1(void);
746float __rand48__Ff___1(void);
747double __rand48__Fd___1(void);
748float _Complex __rand48__FXf___1(void);
749double _Complex __rand48__FXd___1(void);
750long double _Complex __rand48__FXr___1(void);
751void __min__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_less__PFi_t0t0__Ft0_t0t0__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object133)(), void *__anonymous_object134, void *__anonymous_object135), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object136)(), void *__anonymous_object137, void *__anonymous_object138), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object139)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object140, void *__anonymous_object141), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object142, void *__anonymous_object143), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object144), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object145, void *__anonymous_object146), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object147), __attribute__ ((unused)) signed int (*___operator_less__PFi_2tT2tT__1)(void *__anonymous_object148, void *__anonymous_object149), __attribute__ ((unused)) void *___retval_min__2tT_1, void *__t1__2tT_1, void *__t2__2tT_1);
752void __max__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0____operator_greater__PFi_t0t0__Ft0_t0t0__1(__attribute__ ((unused)) signed int (*_adapterFi_2tT2tT_M_PP)(void (*__anonymous_object150)(), void *__anonymous_object151, void *__anonymous_object152), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object153)(), void *__anonymous_object154, void *__anonymous_object155), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object156)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object157, void *__anonymous_object158), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object159, void *__anonymous_object160), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object161), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object162, void *__anonymous_object163), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object164), __attribute__ ((unused)) signed int (*___operator_greater__PFi_2tT2tT__1)(void *__anonymous_object165, void *__anonymous_object166), __attribute__ ((unused)) void *___retval_max__2tT_1, void *__t1__2tT_1, void *__t2__2tT_1);
753void __clamp__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0___min__PFt0_t0t0___max__PFt0_t0t0__Ft0_t0t0t0__1(__attribute__ ((unused)) void (*_adapterF2tT_2tT2tT_P_PP)(void (*__anonymous_object167)(), __attribute__ ((unused)) void *___retval_min__2tT_1, void *__anonymous_object168, void *__anonymous_object169), __attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object170)(), void *__anonymous_object171, void *__anonymous_object172), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object173)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object174, void *__anonymous_object175), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object176, void *__anonymous_object177), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object178), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object179, void *__anonymous_object180), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object181), __attribute__ ((unused)) void *(*__min__PF2tT_2tT2tT__1)(void *__anonymous_object182, void *__anonymous_object183), __attribute__ ((unused)) void *(*__max__PF2tT_2tT2tT__1)(void *__anonymous_object184, void *__anonymous_object185), __attribute__ ((unused)) void *___retval_clamp__2tT_1, void *__value__2tT_1, void *__min_val__2tT_1, void *__max_val__2tT_1);
754void __swap__A1_0_0_0____operator_assign__PFt0_Rt0t0____constructor__PF_Rt0____constructor__PF_Rt0t0____destructor__PF_Rt0__F_Rt0Rt0__1(__attribute__ ((unused)) void (*_adapterF_P2tT2tT__MP)(void (*__anonymous_object186)(), void *__anonymous_object187, void *__anonymous_object188), __attribute__ ((unused)) void (*_adapterF2tT_P2tT2tT_P_MP)(void (*__anonymous_object189)(), __attribute__ ((unused)) void *___retval__operator_assign__2tT_1, void *__anonymous_object190, void *__anonymous_object191), __attribute__ ((unused)) unsigned long int _sizeof_2tT, __attribute__ ((unused)) unsigned long int _alignof_2tT, __attribute__ ((unused)) void *(*___operator_assign__PF2tT_R2tT2tT__1)(void *__anonymous_object192, void *__anonymous_object193), __attribute__ ((unused)) void (*___constructor__PF_R2tT__1)(void *__anonymous_object194), __attribute__ ((unused)) void (*___constructor__PF_R2tT2tT__1)(void *__anonymous_object195, void *__anonymous_object196), __attribute__ ((unused)) void (*___destructor__PF_R2tT__1)(void *__anonymous_object197), void *__t1__R2tT_1, void *__t2__R2tT_1);
755static inline void ___constructor__F_R13smonitor_desc__1(struct monitor_desc *__this__R13smonitor_desc_1){
756 ((void)((*__this__R13smonitor_desc_1).owner) /* ?{} */);
757 ((void)((*__this__R13smonitor_desc_1).recursion) /* ?{} */);
758 ((void)___constructor__F_R17s__waitfor_mask_t_autogen___1((&(*__this__R13smonitor_desc_1).mask)));
759 struct spinlock *_tmp_ctor_expr0;
760 ((void)(((void)(_tmp_ctor_expr0=(&(*__this__R13smonitor_desc_1).lock))) , (((void)___constructor__F_R9sspinlock__1(_tmp_ctor_expr0)) , _tmp_ctor_expr0)));
761 ((void)((*__this__R13smonitor_desc_1).owner=((void *)0)));
762 struct __thread_queue_t *_tmp_ctor_expr1;
763 ((void)(((void)(_tmp_ctor_expr1=(&(*__this__R13smonitor_desc_1).entry_queue))) , (((void)___constructor__F_R17s__thread_queue_t__1(_tmp_ctor_expr1)) , _tmp_ctor_expr1)));
764 struct __condition_stack_t *_tmp_ctor_expr2;
765 ((void)(((void)(_tmp_ctor_expr2=(&(*__this__R13smonitor_desc_1).signal_stack))) , (((void)___constructor__F_R20s__condition_stack_t__1(_tmp_ctor_expr2)) , _tmp_ctor_expr2)));
766 ((void)((*__this__R13smonitor_desc_1).recursion=((unsigned int )0)));
767 ((void)((*__this__R13smonitor_desc_1).mask.accepted=((void *)0)));
768 ((void)((*__this__R13smonitor_desc_1).mask.clauses=((void *)0)));
769 ((void)((*__this__R13smonitor_desc_1).mask.size=((signed short int )0)));
770}
771struct monitor_guard_t {
772 struct monitor_desc **__m__PP13smonitor_desc_1;
773 signed int __count__i_1;
774 struct monitor_desc **__prev_mntrs__PP13smonitor_desc_1;
775 unsigned short int __prev_count__Us_1;
776 void (*__prev_func__PF___1)();
777};
778static inline void ___constructor__F_R16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1);
779static inline void ___constructor__F_R16smonitor_guard_t16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_guard_t ___src__16smonitor_guard_t_1);
780static inline void ___destructor__F_R16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1);
781static inline struct monitor_guard_t ___operator_assign__F16smonitor_guard_t_R16smonitor_guard_t16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_guard_t ___src__16smonitor_guard_t_1);
782static inline void ___constructor__F_R16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1){
783 ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1) /* ?{} */);
784 ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1) /* ?{} */);
785 ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1) /* ?{} */);
786 ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ?{} */);
787 ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */);
788}
789static inline void ___constructor__F_R16smonitor_guard_t16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_guard_t ___src__16smonitor_guard_t_1){
790 ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=___src__16smonitor_guard_t_1.__m__PP13smonitor_desc_1) /* ?{} */);
791 ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=___src__16smonitor_guard_t_1.__count__i_1) /* ?{} */);
792 ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=___src__16smonitor_guard_t_1.__prev_mntrs__PP13smonitor_desc_1) /* ?{} */);
793 ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1=___src__16smonitor_guard_t_1.__prev_count__Us_1) /* ?{} */);
794 ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1=___src__16smonitor_guard_t_1.__prev_func__PF___1) /* ?{} */);
795}
796static inline void ___destructor__F_R16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1){
797 ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ^?{} */);
798 ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ^?{} */);
799 ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1) /* ^?{} */);
800 ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1) /* ^?{} */);
801 ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1) /* ^?{} */);
802}
803static inline struct monitor_guard_t ___operator_assign__F16smonitor_guard_t_R16smonitor_guard_t16smonitor_guard_t_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_guard_t ___src__16smonitor_guard_t_1){
804 struct monitor_guard_t ___ret__16smonitor_guard_t_1;
805 ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=___src__16smonitor_guard_t_1.__m__PP13smonitor_desc_1));
806 ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=___src__16smonitor_guard_t_1.__count__i_1));
807 ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=___src__16smonitor_guard_t_1.__prev_mntrs__PP13smonitor_desc_1));
808 ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1=___src__16smonitor_guard_t_1.__prev_count__Us_1));
809 ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1=___src__16smonitor_guard_t_1.__prev_func__PF___1));
810 ((void)___constructor__F_R16smonitor_guard_t16smonitor_guard_t_autogen___1((&___ret__16smonitor_guard_t_1), ___src__16smonitor_guard_t_1));
811 return ((struct monitor_guard_t )___ret__16smonitor_guard_t_1);
812}
813static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desc_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1){
814 ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */);
815 ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1) /* ?{} */);
816 ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1) /* ?{} */);
817 ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ?{} */);
818 ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */);
819}
820static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desci_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1){
821 ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */);
822 ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=__count__i_1) /* ?{} */);
823 ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1) /* ?{} */);
824 ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ?{} */);
825 ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */);
826}
827static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desciPP13smonitor_desc_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1, struct monitor_desc **__prev_mntrs__PP13smonitor_desc_1){
828 ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */);
829 ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=__count__i_1) /* ?{} */);
830 ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=__prev_mntrs__PP13smonitor_desc_1) /* ?{} */);
831 ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1) /* ?{} */);
832 ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */);
833}
834static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desciPP13smonitor_descUs_autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1, struct monitor_desc **__prev_mntrs__PP13smonitor_desc_1, unsigned short int __prev_count__Us_1){
835 ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */);
836 ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=__count__i_1) /* ?{} */);
837 ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=__prev_mntrs__PP13smonitor_desc_1) /* ?{} */);
838 ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1=__prev_count__Us_1) /* ?{} */);
839 ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1) /* ?{} */);
840}
841static inline void ___constructor__F_R16smonitor_guard_tPP13smonitor_desciPP13smonitor_descUsPF___autogen___1(struct monitor_guard_t *___dst__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1, struct monitor_desc **__prev_mntrs__PP13smonitor_desc_1, unsigned short int __prev_count__Us_1, void (*__prev_func__PF___1)()){
842 ((void)((*___dst__R16smonitor_guard_t_1).__m__PP13smonitor_desc_1=__m__PP13smonitor_desc_1) /* ?{} */);
843 ((void)((*___dst__R16smonitor_guard_t_1).__count__i_1=__count__i_1) /* ?{} */);
844 ((void)((*___dst__R16smonitor_guard_t_1).__prev_mntrs__PP13smonitor_desc_1=__prev_mntrs__PP13smonitor_desc_1) /* ?{} */);
845 ((void)((*___dst__R16smonitor_guard_t_1).__prev_count__Us_1=__prev_count__Us_1) /* ?{} */);
846 ((void)((*___dst__R16smonitor_guard_t_1).__prev_func__PF___1=__prev_func__PF___1) /* ?{} */);
847}
848static inline signed int ___operator_less__Fi_P13smonitor_descP13smonitor_desc__1(struct monitor_desc *__lhs__P13smonitor_desc_1, struct monitor_desc *__rhs__P13smonitor_desc_1){
849 __attribute__ ((unused)) signed int ___retval__operator_less__i_1;
850 ((void)(___retval__operator_less__i_1=(((signed long int )__lhs__P13smonitor_desc_1)<((signed long int )__rhs__P13smonitor_desc_1))) /* ?{} */);
851 return ((signed int )___retval__operator_less__i_1);
852}
853void ___constructor__F_R16smonitor_guard_tPP13smonitor_desciPF____1(struct monitor_guard_t *__this__R16smonitor_guard_t_1, struct monitor_desc **__m__PP13smonitor_desc_1, signed int __count__i_1, void (*__func__PF___1)());
854void ___destructor__F_R16smonitor_guard_t__1(struct monitor_guard_t *__this__R16smonitor_guard_t_1);
855struct __condition_criterion_t {
856 _Bool __ready__b_1;
857 struct monitor_desc *__target__P13smonitor_desc_1;
858 struct __condition_node_t *__owner__P19s__condition_node_t_1;
859 struct __condition_criterion_t *__next__P24s__condition_criterion_t_1;
860};
861static inline void ___constructor__F_R24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1);
862static inline void ___constructor__F_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, struct __condition_criterion_t ___src__24s__condition_criterion_t_1);
863static inline void ___destructor__F_R24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1);
864static inline struct __condition_criterion_t ___operator_assign__F24s__condition_criterion_t_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, struct __condition_criterion_t ___src__24s__condition_criterion_t_1);
865static inline void ___constructor__F_R24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1){
866 ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1) /* ?{} */);
867 ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1) /* ?{} */);
868 ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1) /* ?{} */);
869 ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ?{} */);
870}
871static inline void ___constructor__F_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, struct __condition_criterion_t ___src__24s__condition_criterion_t_1){
872 ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=___src__24s__condition_criterion_t_1.__ready__b_1) /* ?{} */);
873 ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=___src__24s__condition_criterion_t_1.__target__P13smonitor_desc_1) /* ?{} */);
874 ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1=___src__24s__condition_criterion_t_1.__owner__P19s__condition_node_t_1) /* ?{} */);
875 ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1=___src__24s__condition_criterion_t_1.__next__P24s__condition_criterion_t_1) /* ?{} */);
876}
877static inline void ___destructor__F_R24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1){
878 ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ^?{} */);
879 ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1) /* ^?{} */);
880 ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1) /* ^?{} */);
881 ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1) /* ^?{} */);
882}
883static inline struct __condition_criterion_t ___operator_assign__F24s__condition_criterion_t_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, struct __condition_criterion_t ___src__24s__condition_criterion_t_1){
884 struct __condition_criterion_t ___ret__24s__condition_criterion_t_1;
885 ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=___src__24s__condition_criterion_t_1.__ready__b_1));
886 ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=___src__24s__condition_criterion_t_1.__target__P13smonitor_desc_1));
887 ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1=___src__24s__condition_criterion_t_1.__owner__P19s__condition_node_t_1));
888 ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1=___src__24s__condition_criterion_t_1.__next__P24s__condition_criterion_t_1));
889 ((void)___constructor__F_R24s__condition_criterion_t24s__condition_criterion_t_autogen___1((&___ret__24s__condition_criterion_t_1), ___src__24s__condition_criterion_t_1));
890 return ((struct __condition_criterion_t )___ret__24s__condition_criterion_t_1);
891}
892static inline void ___constructor__F_R24s__condition_criterion_tb_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, _Bool __ready__b_1){
893 ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=__ready__b_1) /* ?{} */);
894 ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1) /* ?{} */);
895 ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1) /* ?{} */);
896 ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ?{} */);
897}
898static inline void ___constructor__F_R24s__condition_criterion_tbP13smonitor_desc_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, _Bool __ready__b_1, struct monitor_desc *__target__P13smonitor_desc_1){
899 ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=__ready__b_1) /* ?{} */);
900 ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=__target__P13smonitor_desc_1) /* ?{} */);
901 ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1) /* ?{} */);
902 ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ?{} */);
903}
904static inline void ___constructor__F_R24s__condition_criterion_tbP13smonitor_descP19s__condition_node_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, _Bool __ready__b_1, struct monitor_desc *__target__P13smonitor_desc_1, struct __condition_node_t *__owner__P19s__condition_node_t_1){
905 ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=__ready__b_1) /* ?{} */);
906 ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=__target__P13smonitor_desc_1) /* ?{} */);
907 ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1=__owner__P19s__condition_node_t_1) /* ?{} */);
908 ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1) /* ?{} */);
909}
910static inline void ___constructor__F_R24s__condition_criterion_tbP13smonitor_descP19s__condition_node_tP24s__condition_criterion_t_autogen___1(struct __condition_criterion_t *___dst__R24s__condition_criterion_t_1, _Bool __ready__b_1, struct monitor_desc *__target__P13smonitor_desc_1, struct __condition_node_t *__owner__P19s__condition_node_t_1, struct __condition_criterion_t *__next__P24s__condition_criterion_t_1){
911 ((void)((*___dst__R24s__condition_criterion_t_1).__ready__b_1=__ready__b_1) /* ?{} */);
912 ((void)((*___dst__R24s__condition_criterion_t_1).__target__P13smonitor_desc_1=__target__P13smonitor_desc_1) /* ?{} */);
913 ((void)((*___dst__R24s__condition_criterion_t_1).__owner__P19s__condition_node_t_1=__owner__P19s__condition_node_t_1) /* ?{} */);
914 ((void)((*___dst__R24s__condition_criterion_t_1).__next__P24s__condition_criterion_t_1=__next__P24s__condition_criterion_t_1) /* ?{} */);
915}
916struct __condition_node_t {
917 struct thread_desc *__waiting_thread__P12sthread_desc_1;
918 struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1;
919 unsigned short int __count__Us_1;
920 struct __condition_node_t *__next__P19s__condition_node_t_1;
921 unsigned long int __user_info__Ul_1;
922};
923static inline void ___constructor__F_R19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1);
924static inline void ___constructor__F_R19s__condition_node_t19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct __condition_node_t ___src__19s__condition_node_t_1);
925static inline void ___destructor__F_R19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1);
926static inline struct __condition_node_t ___operator_assign__F19s__condition_node_t_R19s__condition_node_t19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct __condition_node_t ___src__19s__condition_node_t_1);
927static inline void ___constructor__F_R19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1){
928 ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1) /* ?{} */);
929 ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1) /* ?{} */);
930 ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1) /* ?{} */);
931 ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ?{} */);
932 ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */);
933}
934static inline void ___constructor__F_R19s__condition_node_t19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct __condition_node_t ___src__19s__condition_node_t_1){
935 ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=___src__19s__condition_node_t_1.__waiting_thread__P12sthread_desc_1) /* ?{} */);
936 ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=___src__19s__condition_node_t_1.__criteria__P24s__condition_criterion_t_1) /* ?{} */);
937 ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=___src__19s__condition_node_t_1.__count__Us_1) /* ?{} */);
938 ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1=___src__19s__condition_node_t_1.__next__P19s__condition_node_t_1) /* ?{} */);
939 ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1=___src__19s__condition_node_t_1.__user_info__Ul_1) /* ?{} */);
940}
941static inline void ___destructor__F_R19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1){
942 ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ^?{} */);
943 ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ^?{} */);
944 ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1) /* ^?{} */);
945 ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1) /* ^?{} */);
946 ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1) /* ^?{} */);
947}
948static inline struct __condition_node_t ___operator_assign__F19s__condition_node_t_R19s__condition_node_t19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct __condition_node_t ___src__19s__condition_node_t_1){
949 struct __condition_node_t ___ret__19s__condition_node_t_1;
950 ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=___src__19s__condition_node_t_1.__waiting_thread__P12sthread_desc_1));
951 ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=___src__19s__condition_node_t_1.__criteria__P24s__condition_criterion_t_1));
952 ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=___src__19s__condition_node_t_1.__count__Us_1));
953 ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1=___src__19s__condition_node_t_1.__next__P19s__condition_node_t_1));
954 ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1=___src__19s__condition_node_t_1.__user_info__Ul_1));
955 ((void)___constructor__F_R19s__condition_node_t19s__condition_node_t_autogen___1((&___ret__19s__condition_node_t_1), ___src__19s__condition_node_t_1));
956 return ((struct __condition_node_t )___ret__19s__condition_node_t_1);
957}
958static inline void ___constructor__F_R19s__condition_node_tP12sthread_desc_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1){
959 ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */);
960 ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1) /* ?{} */);
961 ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1) /* ?{} */);
962 ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ?{} */);
963 ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */);
964}
965static inline void ___constructor__F_R19s__condition_node_tP12sthread_descP24s__condition_criterion_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1, struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1){
966 ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */);
967 ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=__criteria__P24s__condition_criterion_t_1) /* ?{} */);
968 ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1) /* ?{} */);
969 ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ?{} */);
970 ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */);
971}
972static inline void ___constructor__F_R19s__condition_node_tP12sthread_descP24s__condition_criterion_tUs_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1, struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1, unsigned short int __count__Us_1){
973 ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */);
974 ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=__criteria__P24s__condition_criterion_t_1) /* ?{} */);
975 ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=__count__Us_1) /* ?{} */);
976 ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1) /* ?{} */);
977 ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */);
978}
979static inline void ___constructor__F_R19s__condition_node_tP12sthread_descP24s__condition_criterion_tUsP19s__condition_node_t_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1, struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1, unsigned short int __count__Us_1, struct __condition_node_t *__next__P19s__condition_node_t_1){
980 ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */);
981 ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=__criteria__P24s__condition_criterion_t_1) /* ?{} */);
982 ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=__count__Us_1) /* ?{} */);
983 ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1=__next__P19s__condition_node_t_1) /* ?{} */);
984 ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1) /* ?{} */);
985}
986static inline void ___constructor__F_R19s__condition_node_tP12sthread_descP24s__condition_criterion_tUsP19s__condition_node_tUl_autogen___1(struct __condition_node_t *___dst__R19s__condition_node_t_1, struct thread_desc *__waiting_thread__P12sthread_desc_1, struct __condition_criterion_t *__criteria__P24s__condition_criterion_t_1, unsigned short int __count__Us_1, struct __condition_node_t *__next__P19s__condition_node_t_1, unsigned long int __user_info__Ul_1){
987 ((void)((*___dst__R19s__condition_node_t_1).__waiting_thread__P12sthread_desc_1=__waiting_thread__P12sthread_desc_1) /* ?{} */);
988 ((void)((*___dst__R19s__condition_node_t_1).__criteria__P24s__condition_criterion_t_1=__criteria__P24s__condition_criterion_t_1) /* ?{} */);
989 ((void)((*___dst__R19s__condition_node_t_1).__count__Us_1=__count__Us_1) /* ?{} */);
990 ((void)((*___dst__R19s__condition_node_t_1).__next__P19s__condition_node_t_1=__next__P19s__condition_node_t_1) /* ?{} */);
991 ((void)((*___dst__R19s__condition_node_t_1).__user_info__Ul_1=__user_info__Ul_1) /* ?{} */);
992}
993struct __condition_blocked_queue_t {
994 struct __condition_node_t *__head__P19s__condition_node_t_1;
995 struct __condition_node_t **__tail__PP19s__condition_node_t_1;
996};
997static inline void ___constructor__F_R28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1);
998static inline void ___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_blocked_queue_t ___src__28s__condition_blocked_queue_t_1);
999static inline void ___destructor__F_R28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1);
1000static inline struct __condition_blocked_queue_t ___operator_assign__F28s__condition_blocked_queue_t_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_blocked_queue_t ___src__28s__condition_blocked_queue_t_1);
1001static inline void ___constructor__F_R28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1){
1002 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1) /* ?{} */);
1003 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1) /* ?{} */);
1004}
1005static inline void ___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_blocked_queue_t ___src__28s__condition_blocked_queue_t_1){
1006 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1=___src__28s__condition_blocked_queue_t_1.__head__P19s__condition_node_t_1) /* ?{} */);
1007 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1=___src__28s__condition_blocked_queue_t_1.__tail__PP19s__condition_node_t_1) /* ?{} */);
1008}
1009static inline void ___destructor__F_R28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1){
1010 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1) /* ^?{} */);
1011 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1) /* ^?{} */);
1012}
1013static inline struct __condition_blocked_queue_t ___operator_assign__F28s__condition_blocked_queue_t_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_blocked_queue_t ___src__28s__condition_blocked_queue_t_1){
1014 struct __condition_blocked_queue_t ___ret__28s__condition_blocked_queue_t_1;
1015 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1=___src__28s__condition_blocked_queue_t_1.__head__P19s__condition_node_t_1));
1016 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1=___src__28s__condition_blocked_queue_t_1.__tail__PP19s__condition_node_t_1));
1017 ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&___ret__28s__condition_blocked_queue_t_1), ___src__28s__condition_blocked_queue_t_1));
1018 return ((struct __condition_blocked_queue_t )___ret__28s__condition_blocked_queue_t_1);
1019}
1020static inline void ___constructor__F_R28s__condition_blocked_queue_tP19s__condition_node_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_node_t *__head__P19s__condition_node_t_1){
1021 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1=__head__P19s__condition_node_t_1) /* ?{} */);
1022 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1) /* ?{} */);
1023}
1024static inline void ___constructor__F_R28s__condition_blocked_queue_tP19s__condition_node_tPP19s__condition_node_t_autogen___1(struct __condition_blocked_queue_t *___dst__R28s__condition_blocked_queue_t_1, struct __condition_node_t *__head__P19s__condition_node_t_1, struct __condition_node_t **__tail__PP19s__condition_node_t_1){
1025 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__head__P19s__condition_node_t_1=__head__P19s__condition_node_t_1) /* ?{} */);
1026 ((void)((*___dst__R28s__condition_blocked_queue_t_1).__tail__PP19s__condition_node_t_1=__tail__PP19s__condition_node_t_1) /* ?{} */);
1027}
1028void ___constructor__F_R28s__condition_blocked_queue_t__1(struct __condition_blocked_queue_t *__anonymous_object198);
1029void __append__F_P28s__condition_blocked_queue_tP19s__condition_node_t__1(struct __condition_blocked_queue_t *__anonymous_object199, struct __condition_node_t *__anonymous_object200);
1030struct __condition_node_t *__pop_head__FP19s__condition_node_t_P28s__condition_blocked_queue_t__1(struct __condition_blocked_queue_t *__anonymous_object201);
1031struct condition {
1032 struct __condition_blocked_queue_t __blocked__28s__condition_blocked_queue_t_1;
1033 struct monitor_desc **__monitors__PP13smonitor_desc_1;
1034 unsigned short int __monitor_count__Us_1;
1035};
1036static inline void ___constructor__F_R10scondition_autogen___1(struct condition *___dst__R10scondition_1);
1037static inline void ___constructor__F_R10scondition10scondition_autogen___1(struct condition *___dst__R10scondition_1, struct condition ___src__10scondition_1);
1038static inline void ___destructor__F_R10scondition_autogen___1(struct condition *___dst__R10scondition_1);
1039static inline struct condition ___operator_assign__F10scondition_R10scondition10scondition_autogen___1(struct condition *___dst__R10scondition_1, struct condition ___src__10scondition_1);
1040static inline void ___constructor__F_R10scondition_autogen___1(struct condition *___dst__R10scondition_1){
1041 ((void)___constructor__F_R28s__condition_blocked_queue_t__1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1)));
1042 ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ?{} */);
1043 ((void)((*___dst__R10scondition_1).__monitor_count__Us_1) /* ?{} */);
1044}
1045static inline void ___constructor__F_R10scondition10scondition_autogen___1(struct condition *___dst__R10scondition_1, struct condition ___src__10scondition_1){
1046 ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), ___src__10scondition_1.__blocked__28s__condition_blocked_queue_t_1));
1047 ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1=___src__10scondition_1.__monitors__PP13smonitor_desc_1) /* ?{} */);
1048 ((void)((*___dst__R10scondition_1).__monitor_count__Us_1=___src__10scondition_1.__monitor_count__Us_1) /* ?{} */);
1049}
1050static inline void ___destructor__F_R10scondition_autogen___1(struct condition *___dst__R10scondition_1){
1051 ((void)((*___dst__R10scondition_1).__monitor_count__Us_1) /* ^?{} */);
1052 ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ^?{} */);
1053 ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1)));
1054}
1055static inline struct condition ___operator_assign__F10scondition_R10scondition10scondition_autogen___1(struct condition *___dst__R10scondition_1, struct condition ___src__10scondition_1){
1056 struct condition ___ret__10scondition_1;
1057 struct __condition_blocked_queue_t _tmp_cp4;
1058 struct __condition_blocked_queue_t _tmp_cp_ret29;
1059 ((void)(((void)(_tmp_cp_ret29=___operator_assign__F28s__condition_blocked_queue_t_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), (((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&_tmp_cp4), ___src__10scondition_1.__blocked__28s__condition_blocked_queue_t_1)) , _tmp_cp4)))) , _tmp_cp_ret29));
1060 ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&_tmp_cp_ret29)));
1061 ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&_tmp_cp4)));
1062 ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1=___src__10scondition_1.__monitors__PP13smonitor_desc_1));
1063 ((void)((*___dst__R10scondition_1).__monitor_count__Us_1=___src__10scondition_1.__monitor_count__Us_1));
1064 ((void)___constructor__F_R10scondition10scondition_autogen___1((&___ret__10scondition_1), ___src__10scondition_1));
1065 return ((struct condition )___ret__10scondition_1);
1066}
1067static inline void ___constructor__F_R10scondition28s__condition_blocked_queue_t_autogen___1(struct condition *___dst__R10scondition_1, struct __condition_blocked_queue_t __blocked__28s__condition_blocked_queue_t_1){
1068 ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), __blocked__28s__condition_blocked_queue_t_1));
1069 ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ?{} */);
1070 ((void)((*___dst__R10scondition_1).__monitor_count__Us_1) /* ?{} */);
1071}
1072static inline void ___constructor__F_R10scondition28s__condition_blocked_queue_tPP13smonitor_desc_autogen___1(struct condition *___dst__R10scondition_1, struct __condition_blocked_queue_t __blocked__28s__condition_blocked_queue_t_1, struct monitor_desc **__monitors__PP13smonitor_desc_1){
1073 ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), __blocked__28s__condition_blocked_queue_t_1));
1074 ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1=__monitors__PP13smonitor_desc_1) /* ?{} */);
1075 ((void)((*___dst__R10scondition_1).__monitor_count__Us_1) /* ?{} */);
1076}
1077static inline void ___constructor__F_R10scondition28s__condition_blocked_queue_tPP13smonitor_descUs_autogen___1(struct condition *___dst__R10scondition_1, struct __condition_blocked_queue_t __blocked__28s__condition_blocked_queue_t_1, struct monitor_desc **__monitors__PP13smonitor_desc_1, unsigned short int __monitor_count__Us_1){
1078 ((void)___constructor__F_R28s__condition_blocked_queue_t28s__condition_blocked_queue_t_autogen___1((&(*___dst__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1), __blocked__28s__condition_blocked_queue_t_1));
1079 ((void)((*___dst__R10scondition_1).__monitors__PP13smonitor_desc_1=__monitors__PP13smonitor_desc_1) /* ?{} */);
1080 ((void)((*___dst__R10scondition_1).__monitor_count__Us_1=__monitor_count__Us_1) /* ?{} */);
1081}
1082static inline void ___constructor__F_R10scondition__1(struct condition *__this__R10scondition_1){
1083 ((void)___constructor__F_R28s__condition_blocked_queue_t__1((&(*__this__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1)));
1084 ((void)((*__this__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ?{} */);
1085 ((void)((*__this__R10scondition_1).__monitor_count__Us_1) /* ?{} */);
1086 ((void)((*__this__R10scondition_1).__monitors__PP13smonitor_desc_1=((void *)0)));
1087 ((void)((*__this__R10scondition_1).__monitor_count__Us_1=((unsigned short int )0)));
1088}
1089static inline void ___destructor__F_R10scondition__1(struct condition *__this__R10scondition_1){
1090 ((void)free(((void *)(*__this__R10scondition_1).__monitors__PP13smonitor_desc_1)));
1091 ((void)((*__this__R10scondition_1).__monitor_count__Us_1) /* ^?{} */);
1092 ((void)((*__this__R10scondition_1).__monitors__PP13smonitor_desc_1) /* ^?{} */);
1093 ((void)___destructor__F_R28s__condition_blocked_queue_t_autogen___1((&(*__this__R10scondition_1).__blocked__28s__condition_blocked_queue_t_1)));
1094}
1095void __wait__F_P10sconditionUl__1(struct condition *__this__P10scondition_1, unsigned long int __user_info__Ul_1);
1096_Bool __signal__Fb_P10scondition__1(struct condition *__this__P10scondition_1);
1097_Bool __signal_block__Fb_P10scondition__1(struct condition *__this__P10scondition_1);
1098static inline _Bool __is_empty__Fb_P10scondition__1(struct condition *__this__P10scondition_1){
1099 __attribute__ ((unused)) _Bool ___retval_is_empty__b_1;
1100 ((void)(___retval_is_empty__b_1=((_Bool )(!(*__this__P10scondition_1).__blocked__28s__condition_blocked_queue_t_1.__head__P19s__condition_node_t_1))) /* ?{} */);
1101 return ((_Bool )___retval_is_empty__b_1);
1102}
1103unsigned long int __front__FUl_P10scondition__1(struct condition *__this__P10scondition_1);
1104struct __acceptable_t {
1105 struct __monitor_group_t __anonymous_object202;
1106 _Bool __is_dtor__b_1;
1107};
1108static inline void ___constructor__F_R15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1);
1109static inline void ___constructor__F_R15s__acceptable_t15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, struct __acceptable_t ___src__15s__acceptable_t_1);
1110static inline void ___destructor__F_R15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1);
1111static inline struct __acceptable_t ___operator_assign__F15s__acceptable_t_R15s__acceptable_t15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, struct __acceptable_t ___src__15s__acceptable_t_1);
1112static inline void ___constructor__F_R15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1){
1113 ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1) /* ?{} */);
1114}
1115static inline void ___constructor__F_R15s__acceptable_t15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, struct __acceptable_t ___src__15s__acceptable_t_1){
1116 ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1=___src__15s__acceptable_t_1.__is_dtor__b_1) /* ?{} */);
1117}
1118static inline void ___destructor__F_R15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1){
1119 ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1) /* ^?{} */);
1120}
1121static inline struct __acceptable_t ___operator_assign__F15s__acceptable_t_R15s__acceptable_t15s__acceptable_t_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, struct __acceptable_t ___src__15s__acceptable_t_1){
1122 struct __acceptable_t ___ret__15s__acceptable_t_1;
1123 ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1=___src__15s__acceptable_t_1.__is_dtor__b_1));
1124 ((void)___constructor__F_R15s__acceptable_t15s__acceptable_t_autogen___1((&___ret__15s__acceptable_t_1), ___src__15s__acceptable_t_1));
1125 return ((struct __acceptable_t )___ret__15s__acceptable_t_1);
1126}
1127static inline void ___constructor__F_R15s__acceptable_tb_autogen___1(struct __acceptable_t *___dst__R15s__acceptable_t_1, _Bool __is_dtor__b_1){
1128 ((void)((*___dst__R15s__acceptable_t_1).__is_dtor__b_1=__is_dtor__b_1) /* ?{} */);
1129}
1130void ____waitfor_internal__F_RC17s__waitfor_mask_ti__1(const struct __waitfor_mask_t *__mask__RC17s__waitfor_mask_t_1, signed int __duration__i_1);
1131struct M;
1132static inline struct monitor_desc *__get_monitor__FP13smonitor_desc_R2sM__1(struct M *__this__R2sM_1);
1133struct M {
1134 struct monitor_desc ____mon__13smonitor_desc_1;
1135};
1136static inline void ___constructor__F_R2sM_autogen___1(struct M *___dst__R2sM_1);
1137static inline void ___constructor__F_R2sM2sM_autogen___1(struct M *___dst__R2sM_1, struct M ___src__2sM_1);
1138static inline void ___destructor__F_MR2sM_autogen___1(struct M *___dst__MR2sM_1);
1139static inline struct M ___operator_assign__F2sM_R2sM2sM_autogen___1(struct M *___dst__R2sM_1, struct M ___src__2sM_1);
1140static inline void ___constructor__F_R2sM_autogen___1(struct M *___dst__R2sM_1){
1141 ((void)___constructor__F_R13smonitor_desc__1((&(*___dst__R2sM_1).____mon__13smonitor_desc_1)));
1142}
1143static inline void ___constructor__F_R2sM2sM_autogen___1(struct M *___dst__R2sM_1, struct M ___src__2sM_1){
1144 ((void)___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1((&(*___dst__R2sM_1).____mon__13smonitor_desc_1), ___src__2sM_1.____mon__13smonitor_desc_1));
1145}
1146static inline void ___destructor__F_MR2sM_autogen___1(struct M *___dst__MR2sM_1){
1147 struct monitor_desc *_tmp_cp_ret30;
1148 struct monitor_desc *____monitors__A0P13smonitor_desc_2[((unsigned long int )1)] = { ((struct monitor_desc *)(((void)(_tmp_cp_ret30=__get_monitor__FP13smonitor_desc_R2sM__1(((struct M *)___dst__MR2sM_1)))) , _tmp_cp_ret30)) };
1149 ((void)(_tmp_cp_ret30) /* ^?{} */);
1150 struct monitor_guard_t ____guard__16smonitor_guard_t_2;
1151 ((void)___constructor__F_R16smonitor_guard_tPP13smonitor_desciPF____1((&____guard__16smonitor_guard_t_2), ____monitors__A0P13smonitor_desc_2, ((signed int )1), ((void (*)())((void (*)())___destructor__F_MR2sM_autogen___1))));
1152 ((void)___destructor__F_R13smonitor_desc_autogen___1((&(*___dst__MR2sM_1).____mon__13smonitor_desc_1)));
1153 ((void)___destructor__F_R16smonitor_guard_t__1((&____guard__16smonitor_guard_t_2)));
1154}
1155static inline struct M ___operator_assign__F2sM_R2sM2sM_autogen___1(struct M *___dst__R2sM_1, struct M ___src__2sM_1){
1156 struct M ___ret__2sM_1;
1157 struct monitor_desc _tmp_cp5;
1158 struct monitor_desc _tmp_cp_ret31;
1159 ((void)(((void)(_tmp_cp_ret31=___operator_assign__F13smonitor_desc_R13smonitor_desc13smonitor_desc_autogen___1((&(*___dst__R2sM_1).____mon__13smonitor_desc_1), (((void)___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1((&_tmp_cp5), ___src__2sM_1.____mon__13smonitor_desc_1)) , _tmp_cp5)))) , _tmp_cp_ret31));
1160 ((void)___destructor__F_R13smonitor_desc_autogen___1((&_tmp_cp_ret31)));
1161 ((void)___destructor__F_R13smonitor_desc_autogen___1((&_tmp_cp5)));
1162 ((void)___constructor__F_R2sM2sM_autogen___1((&___ret__2sM_1), ___src__2sM_1));
1163 return ((struct M )___ret__2sM_1);
1164}
1165static inline void ___constructor__F_R2sM13smonitor_desc_autogen___1(struct M *___dst__R2sM_1, struct monitor_desc ____mon__13smonitor_desc_1){
1166 ((void)___constructor__F_R13smonitor_desc13smonitor_desc_autogen___1((&(*___dst__R2sM_1).____mon__13smonitor_desc_1), ____mon__13smonitor_desc_1));
1167}
1168static inline struct monitor_desc *__get_monitor__FP13smonitor_desc_R2sM__1(struct M *__this__R2sM_1){
1169 struct monitor_desc *__ret__P13smonitor_desc_1;
1170 ((void)(__ret__P13smonitor_desc_1=(&(*__this__R2sM_1).____mon__13smonitor_desc_1)) /* ?{} */);
1171 return ((struct monitor_desc *)__ret__P13smonitor_desc_1);
1172}
1173struct M __a__2sM_1;
1174void __f1__F_MR2sM__1(struct M *__a__MR2sM_1);
1175void __f2__F_MR2sM__1(struct M *__a__MR2sM_1);
1176void __f2__F_MR2sMMR2sM__1(struct M *__a__MR2sM_1, struct M *__b__MR2sM_1);
1177void __f3__F_MR2sM__1(struct M *__a__MR2sM_1);
1178void __f3__F_MR2sMMR2sM__1(struct M *__a__MR2sM_1, struct M *__b__MR2sM_1);
1179void __f3__F_MR2sMMR2sMMR2sM__1(struct M *__a__MR2sM_1, struct M *__b__MR2sM_1, struct M *__c__MR2sM_1);
1180void __foo__F___1(){
1181 {
1182 struct __acceptable_t __acceptables_0[1];
1183 ((void)__builtin_memset(((void *)__acceptables_0), 0, sizeof(__acceptables_0)));
1184 _Bool __do_run_0 = 0;
1185 struct monitor_desc *__monitors_0[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1186 if ( 1 ) {
1187 ((void)(__acceptables_0[((signed long int )0)].__is_dtor__b_1=0));
1188 ((void)(__acceptables_0[((signed long int )0)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1)));
1189 ((void)(__acceptables_0[((signed long int )0)].__anonymous_object202.list=__monitors_0));
1190 ((void)(__acceptables_0[((signed long int )0)].__anonymous_object202.size=((signed short int )1)));
1191 ((void)(__do_run_0=((_Bool )1)));
1192 }
1193
1194 unsigned long long int __timeout_0 = -1;
1195 if ( __do_run_0 ) {
1196 signed short int __index_0 = -1;
1197 struct __waitfor_mask_t __mask_0 = { (&__index_0), __acceptables_0, 1 };
1198 ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_0), __timeout_0));
1199 switch ( __index_0 ) {
1200 case 0:
1201 {
1202 ((void)1);
1203 }
1204 break;
1205 }
1206
1207 }
1208
1209 }
1210
1211 {
1212 struct __acceptable_t __acceptables_1[1];
1213 ((void)__builtin_memset(((void *)__acceptables_1), 0, sizeof(__acceptables_1)));
1214 _Bool __do_run_1 = 0;
1215 struct monitor_desc *__monitors_1[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1216 if ( 1 ) {
1217 ((void)(__acceptables_1[((signed long int )0)].__is_dtor__b_1=0));
1218 ((void)(__acceptables_1[((signed long int )0)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1)));
1219 ((void)(__acceptables_1[((signed long int )0)].__anonymous_object202.list=__monitors_1));
1220 ((void)(__acceptables_1[((signed long int )0)].__anonymous_object202.size=((signed short int )1)));
1221 ((void)(__do_run_1=((_Bool )1)));
1222 }
1223
1224 unsigned long long int __timeout_1 = -1;
1225 if ( __do_run_1 ) {
1226 signed short int __index_1 = -1;
1227 struct __waitfor_mask_t __mask_1 = { (&__index_1), __acceptables_1, 1 };
1228 ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_1), __timeout_1));
1229 switch ( __index_1 ) {
1230 case 0:
1231 {
1232 ((void)2);
1233 }
1234 break;
1235 }
1236
1237 }
1238
1239 }
1240
1241 {
1242 struct __acceptable_t __acceptables_2[1];
1243 ((void)__builtin_memset(((void *)__acceptables_2), 0, sizeof(__acceptables_2)));
1244 _Bool __do_run_2 = 0;
1245 struct monitor_desc *__monitors_2[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1246 if ( 1 ) {
1247 ((void)(__acceptables_2[((signed long int )0)].__is_dtor__b_1=0));
1248 ((void)(__acceptables_2[((signed long int )0)].__anonymous_object202.func=((void (*)())__f2__F_MR2sM__1)));
1249 ((void)(__acceptables_2[((signed long int )0)].__anonymous_object202.list=__monitors_2));
1250 ((void)(__acceptables_2[((signed long int )0)].__anonymous_object202.size=((signed short int )1)));
1251 ((void)(__do_run_2=((_Bool )1)));
1252 }
1253
1254 unsigned long long int __timeout_2 = -1;
1255 if ( __do_run_2 ) {
1256 signed short int __index_2 = -1;
1257 struct __waitfor_mask_t __mask_2 = { (&__index_2), __acceptables_2, 1 };
1258 ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_2), __timeout_2));
1259 switch ( __index_2 ) {
1260 case 0:
1261 {
1262 ((void)3);
1263 }
1264 break;
1265 }
1266
1267 }
1268
1269 }
1270
1271 {
1272 struct __acceptable_t __acceptables_3[1];
1273 ((void)__builtin_memset(((void *)__acceptables_3), 0, sizeof(__acceptables_3)));
1274 _Bool __do_run_3 = 0;
1275 struct monitor_desc *__monitors_3[2] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1276 if ( ((signed int )((((signed int )1)<3)!=((signed int )0))) ) {
1277 ((void)(__acceptables_3[((signed long int )0)].__is_dtor__b_1=0));
1278 ((void)(__acceptables_3[((signed long int )0)].__anonymous_object202.func=((void (*)())__f2__F_MR2sMMR2sM__1)));
1279 ((void)(__acceptables_3[((signed long int )0)].__anonymous_object202.list=__monitors_3));
1280 ((void)(__acceptables_3[((signed long int )0)].__anonymous_object202.size=((signed short int )2)));
1281 ((void)(__do_run_3=((_Bool )1)));
1282 }
1283
1284 unsigned long long int __timeout_3 = -1;
1285 if ( 1 ) {
1286 ((void)(__timeout_3=((unsigned long long int )100)));
1287 ((void)(__do_run_3=((_Bool )1)));
1288 }
1289
1290 if ( __do_run_3 ) {
1291 signed short int __index_3 = -1;
1292 struct __waitfor_mask_t __mask_3 = { (&__index_3), __acceptables_3, 1 };
1293 ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_3), __timeout_3));
1294 switch ( __index_3 ) {
1295 case 0:
1296 {
1297 ((void)4);
1298 }
1299 break;
1300 case -2:
1301 {
1302 ((void)5);
1303 }
1304 break;
1305 }
1306
1307 }
1308
1309 }
1310
1311 {
1312 struct __acceptable_t __acceptables_4[1];
1313 ((void)__builtin_memset(((void *)__acceptables_4), 0, sizeof(__acceptables_4)));
1314 _Bool __do_run_4 = 0;
1315 struct monitor_desc *__monitors_4[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1316 if ( ((signed int )((2<3)!=((signed int )0))) ) {
1317 ((void)(__acceptables_4[((signed long int )0)].__is_dtor__b_1=0));
1318 ((void)(__acceptables_4[((signed long int )0)].__anonymous_object202.func=((void (*)())__f3__F_MR2sM__1)));
1319 ((void)(__acceptables_4[((signed long int )0)].__anonymous_object202.list=__monitors_4));
1320 ((void)(__acceptables_4[((signed long int )0)].__anonymous_object202.size=((signed short int )1)));
1321 ((void)(__do_run_4=((_Bool )1)));
1322 }
1323
1324 unsigned long long int __timeout_4 = -1;
1325 if ( 1 ) {
1326 ((void)(__timeout_4=0));
1327 ((void)(__do_run_4=((_Bool )1)));
1328 }
1329
1330 if ( __do_run_4 ) {
1331 signed short int __index_4 = -1;
1332 struct __waitfor_mask_t __mask_4 = { (&__index_4), __acceptables_4, 1 };
1333 ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_4), __timeout_4));
1334 switch ( __index_4 ) {
1335 case 0:
1336 {
1337 ((void)5);
1338 }
1339 break;
1340 case -1:
1341 {
1342 ((void)6);
1343 }
1344 break;
1345 }
1346
1347 }
1348
1349 }
1350
1351 {
1352 struct __acceptable_t __acceptables_5[1];
1353 ((void)__builtin_memset(((void *)__acceptables_5), 0, sizeof(__acceptables_5)));
1354 _Bool __do_run_5 = 0;
1355 struct monitor_desc *__monitors_5[2] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1356 if ( ((signed int )((3<3)!=((signed int )0))) ) {
1357 ((void)(__acceptables_5[((signed long int )0)].__is_dtor__b_1=0));
1358 ((void)(__acceptables_5[((signed long int )0)].__anonymous_object202.func=((void (*)())__f3__F_MR2sMMR2sM__1)));
1359 ((void)(__acceptables_5[((signed long int )0)].__anonymous_object202.list=__monitors_5));
1360 ((void)(__acceptables_5[((signed long int )0)].__anonymous_object202.size=((signed short int )2)));
1361 ((void)(__do_run_5=((_Bool )1)));
1362 }
1363
1364 unsigned long long int __timeout_5 = -1;
1365 if ( ((signed int )((4<3)!=((signed int )0))) ) {
1366 ((void)(__timeout_5=((unsigned long long int )101)));
1367 ((void)(__do_run_5=((_Bool )1)));
1368 }
1369
1370 if ( ((signed int )((5<3)!=((signed int )0))) ) {
1371 ((void)(__timeout_5=0));
1372 ((void)(__do_run_5=((_Bool )1)));
1373 }
1374
1375 if ( __do_run_5 ) {
1376 signed short int __index_5 = -1;
1377 struct __waitfor_mask_t __mask_5 = { (&__index_5), __acceptables_5, 1 };
1378 ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_5), __timeout_5));
1379 switch ( __index_5 ) {
1380 case 0:
1381 {
1382 ((void)7);
1383 }
1384 break;
1385 case -2:
1386 {
1387 ((void)8);
1388 }
1389 break;
1390 case -1:
1391 {
1392 ((void)9);
1393 }
1394 break;
1395 }
1396
1397 }
1398
1399 }
1400
1401 {
1402 struct __acceptable_t __acceptables_6[2];
1403 ((void)__builtin_memset(((void *)__acceptables_6), 0, sizeof(__acceptables_6)));
1404 _Bool __do_run_6 = 0;
1405 struct monitor_desc *__monitors_6[3] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1406 if ( ((signed int )((6<3)!=((signed int )0))) ) {
1407 ((void)(__acceptables_6[((signed long int )0)].__is_dtor__b_1=0));
1408 ((void)(__acceptables_6[((signed long int )0)].__anonymous_object202.func=((void (*)())__f3__F_MR2sMMR2sMMR2sM__1)));
1409 ((void)(__acceptables_6[((signed long int )0)].__anonymous_object202.list=__monitors_6));
1410 ((void)(__acceptables_6[((signed long int )0)].__anonymous_object202.size=((signed short int )3)));
1411 ((void)(__do_run_6=((_Bool )1)));
1412 }
1413
1414 struct monitor_desc *__monitors_7[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1415 if ( ((signed int )((7<3)!=((signed int )0))) ) {
1416 ((void)(__acceptables_6[((signed long int )1)].__is_dtor__b_1=0));
1417 ((void)(__acceptables_6[((signed long int )1)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1)));
1418 ((void)(__acceptables_6[((signed long int )1)].__anonymous_object202.list=__monitors_7));
1419 ((void)(__acceptables_6[((signed long int )1)].__anonymous_object202.size=((signed short int )1)));
1420 ((void)(__do_run_6=((_Bool )1)));
1421 }
1422
1423 unsigned long long int __timeout_6 = -1;
1424 if ( 1 ) {
1425 ((void)(__timeout_6=0));
1426 ((void)(__do_run_6=((_Bool )1)));
1427 }
1428
1429 if ( __do_run_6 ) {
1430 signed short int __index_6 = -1;
1431 struct __waitfor_mask_t __mask_6 = { (&__index_6), __acceptables_6, 2 };
1432 ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_6), __timeout_6));
1433 switch ( __index_6 ) {
1434 case 0:
1435 {
1436 ((void)10);
1437 }
1438 break;
1439 case 1:
1440 {
1441 ((void)11);
1442 }
1443 break;
1444 case -1:
1445 {
1446 ((void)12);
1447 }
1448 break;
1449 }
1450
1451 }
1452
1453 }
1454
1455 {
1456 struct __acceptable_t __acceptables_7[2];
1457 ((void)__builtin_memset(((void *)__acceptables_7), 0, sizeof(__acceptables_7)));
1458 _Bool __do_run_7 = 0;
1459 struct monitor_desc *__monitors_8[2] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1460 if ( ((signed int )((8<3)!=((signed int )0))) ) {
1461 ((void)(__acceptables_7[((signed long int )0)].__is_dtor__b_1=0));
1462 ((void)(__acceptables_7[((signed long int )0)].__anonymous_object202.func=((void (*)())__f3__F_MR2sMMR2sM__1)));
1463 ((void)(__acceptables_7[((signed long int )0)].__anonymous_object202.list=__monitors_8));
1464 ((void)(__acceptables_7[((signed long int )0)].__anonymous_object202.size=((signed short int )2)));
1465 ((void)(__do_run_7=((_Bool )1)));
1466 }
1467
1468 struct monitor_desc *__monitors_9[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1469 if ( 1 ) {
1470 ((void)(__acceptables_7[((signed long int )1)].__is_dtor__b_1=0));
1471 ((void)(__acceptables_7[((signed long int )1)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1)));
1472 ((void)(__acceptables_7[((signed long int )1)].__anonymous_object202.list=__monitors_9));
1473 ((void)(__acceptables_7[((signed long int )1)].__anonymous_object202.size=((signed short int )1)));
1474 ((void)(__do_run_7=((_Bool )1)));
1475 }
1476
1477 unsigned long long int __timeout_7 = -1;
1478 if ( ((signed int )((9<3)!=((signed int )0))) ) {
1479 ((void)(__timeout_7=((unsigned long long int )102)));
1480 ((void)(__do_run_7=((_Bool )1)));
1481 }
1482
1483 if ( __do_run_7 ) {
1484 signed short int __index_7 = -1;
1485 struct __waitfor_mask_t __mask_7 = { (&__index_7), __acceptables_7, 2 };
1486 ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_7), __timeout_7));
1487 switch ( __index_7 ) {
1488 case 0:
1489 {
1490 ((void)13);
1491 }
1492 break;
1493 case 1:
1494 {
1495 ((void)14);
1496 }
1497 break;
1498 case -2:
1499 {
1500 ((void)15);
1501 }
1502 break;
1503 }
1504
1505 }
1506
1507 }
1508
1509 {
1510 struct __acceptable_t __acceptables_8[2];
1511 ((void)__builtin_memset(((void *)__acceptables_8), 0, sizeof(__acceptables_8)));
1512 _Bool __do_run_8 = 0;
1513 struct monitor_desc *__monitors_10[1] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1514 if ( ((signed int )((10<3)!=((signed int )0))) ) {
1515 ((void)(__acceptables_8[((signed long int )0)].__is_dtor__b_1=0));
1516 ((void)(__acceptables_8[((signed long int )0)].__anonymous_object202.func=((void (*)())__f1__F_MR2sM__1)));
1517 ((void)(__acceptables_8[((signed long int )0)].__anonymous_object202.list=__monitors_10));
1518 ((void)(__acceptables_8[((signed long int )0)].__anonymous_object202.size=((signed short int )1)));
1519 ((void)(__do_run_8=((_Bool )1)));
1520 }
1521
1522 struct monitor_desc *__monitors_11[2] = { ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))), ((struct monitor_desc *)__get_monitor__FP13smonitor_desc_R2sM__1((&__a__2sM_1))) };
1523 if ( 1 ) {
1524 ((void)(__acceptables_8[((signed long int )1)].__is_dtor__b_1=0));
1525 ((void)(__acceptables_8[((signed long int )1)].__anonymous_object202.func=((void (*)())__f2__F_MR2sMMR2sM__1)));
1526 ((void)(__acceptables_8[((signed long int )1)].__anonymous_object202.list=__monitors_11));
1527 ((void)(__acceptables_8[((signed long int )1)].__anonymous_object202.size=((signed short int )2)));
1528 ((void)(__do_run_8=((_Bool )1)));
1529 }
1530
1531 unsigned long long int __timeout_8 = -1;
1532 if ( 1 ) {
1533 ((void)(__timeout_8=((unsigned long long int )103)));
1534 ((void)(__do_run_8=((_Bool )1)));
1535 }
1536
1537 if ( ((signed int )((11<3)!=((signed int )0))) ) {
1538 ((void)(__timeout_8=0));
1539 ((void)(__do_run_8=((_Bool )1)));
1540 }
1541
1542 if ( __do_run_8 ) {
1543 signed short int __index_8 = -1;
1544 struct __waitfor_mask_t __mask_8 = { (&__index_8), __acceptables_8, 2 };
1545 ((void)____waitfor_internal__F_RC17s__waitfor_mask_ti__1((&__mask_8), __timeout_8));
1546 switch ( __index_8 ) {
1547 case 0:
1548 {
1549 ((void)16);
1550 }
1551 break;
1552 case 1:
1553 {
1554 ((void)17);
1555 }
1556 break;
1557 case -2:
1558 {
1559 ((void)18);
1560 }
1561 break;
1562 case -1:
1563 {
1564 ((void)19);
1565 }
1566 break;
1567 }
1568
1569 }
1570
1571 }
1572
1573}
1574signed int __main__Fi___1(){
1575 __attribute__ ((unused)) signed int ___retval_main__i_1;
1576 ((void)(___retval_main__i_1=0) /* ?{} */);
1577 return ((signed int )___retval_main__i_1);
1578}
1579__attribute__ ((constructor)) static void _init_sched_ext_parse(void){
1580 ((void)___constructor__F_R2sM_autogen___1((&__a__2sM_1)));
1581}
1582__attribute__ ((destructor)) static void _destroy_sched_ext_parse(void){
1583 ((void)___destructor__F_MR2sM_autogen___1((&__a__2sM_1)));
1584}
1585static inline int invoke_main(int argc, char* argv[], char* envp[]) { (void)argc; (void)argv; (void)envp; return __main__Fi___1(); }
1586__attribute__ ((__nothrow__,__leaf__,__malloc__)) extern void *malloc(unsigned long int __size);
1587__attribute__ ((__nothrow__,__leaf__)) extern void free(void *__ptr);
1588__attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void abort(void);
1589__attribute__ ((__nothrow__,__leaf__,__nonnull__(1))) extern signed int atexit(void (*__func)(void));
1590__attribute__ ((__nothrow__,__leaf__,__noreturn__)) extern void exit(signed int __status);
1591extern signed int printf(const char *__restrict __format, ...);
1592static inline signed int invoke_main(signed int argc, char **argv, char **envp);
1593signed int main(signed int __argc__i_1, char **__argv__PPc_1, char **__envp__PPc_1){
1594 __attribute__ ((unused)) signed int ___retval_main__i_1;
1595 signed int _tmp_cp_ret0;
1596 ((void)(___retval_main__i_1=(((void)(_tmp_cp_ret0=invoke_main(__argc__i_1, __argv__PPc_1, __envp__PPc_1))) , _tmp_cp_ret0)) /* ?{} */);
1597 ((void)(_tmp_cp_ret0) /* ^?{} */);
1598 return ((signed int )___retval_main__i_1);
1599}
Note: See TracBrowser for help on using the repository browser.