otsdaq_prepmodernization  v2_05_02_indev
p_3620187407.c
1 /**********************************************************************/
2 /* ____ ____ */
3 /* / /\/ / */
4 /* /___/ \ / */
5 /* \ \ \/ */
6 /* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */
7 /* / / All Right Reserved. */
8 /* /---/ /\ */
9 /* \ \ / \ */
10 /* \___\/\___\ */
11 /***********************************************************************/
12 
13 /* This file is designed for use with ISim build 0x7708f090 */
14 
15 #define XSI_HIDE_SYMBOL_SPEC true
16 #include <memory.h>
17 #include "xsi.h"
18 #ifdef __GNUC__
19 #include <stdlib.h>
20 #else
21 #include <malloc.h>
22 #define alloca _alloca
23 #endif
24 static const char* ng0 = "Function maximum ended without a return statement";
25 extern char* STD_STANDARD;
26 extern char* IEEE_P_2592010699;
27 extern char* IEEE_P_3499444699;
28 
29 char* ieee_p_3499444699_sub_173946173_3536714472(
30  char*, char*, char*, char*, char*, char*);
31 char* ieee_p_3499444699_sub_1775521082_3536714472(
32  char*, char*, char*, char*, char*, char*);
33 char* ieee_p_3499444699_sub_1904283970_3536714472(
34  char*, char*, char*, char*, char*, char*);
35 unsigned char ieee_p_3499444699_sub_2235775063_3536714472(char*, int, char*, char*);
36 unsigned char ieee_p_3499444699_sub_2235811000_3536714472(char*, int, char*, char*);
37 unsigned char ieee_p_3499444699_sub_2235846937_3536714472(char*, int, char*, char*);
38 unsigned char ieee_p_3499444699_sub_2368579451_3536714472(char*, char*, char*, int);
39 unsigned char ieee_p_3499444699_sub_2368615388_3536714472(char*, char*, char*, int);
40 unsigned char ieee_p_3499444699_sub_2368651325_3536714472(char*, char*, char*, int);
41 unsigned char ieee_p_3499444699_sub_2591093089_3536714472(
42  char*, char*, char*, char*, char*);
43 char* ieee_p_3499444699_sub_289433618_3536714472(
44  char*, char*, char*, char*, unsigned char);
45 unsigned char ieee_p_3499444699_sub_3579735367_3536714472(char*, int, char*, char*);
46 unsigned char ieee_p_3499444699_sub_3595152340_3536714472(char*, int, char*, char*);
47 unsigned char ieee_p_3499444699_sub_3597524182_3536714472(char*, int, char*, char*);
48 unsigned char ieee_p_3499444699_sub_3712539755_3536714472(char*, char*, char*, int);
49 unsigned char ieee_p_3499444699_sub_3727956728_3536714472(char*, char*, char*, int);
50 unsigned char ieee_p_3499444699_sub_3730328570_3536714472(char*, char*, char*, int);
51 unsigned char ieee_p_3499444699_sub_3935053393_3536714472(
52  char*, char*, char*, char*, char*);
53 unsigned char ieee_p_3499444699_sub_3950470366_3536714472(
54  char*, char*, char*, char*, char*);
55 unsigned char ieee_p_3499444699_sub_3952842208_3536714472(
56  char*, char*, char*, char*, char*);
57 char* ieee_p_3499444699_sub_4112306614_3536714472(
58  char*, char*, unsigned char, char*, char*);
59 char* ieee_p_3499444699_sub_4144887825_3536714472(char*, char*, int, char*, char*);
60 char* ieee_p_3499444699_sub_4144959699_3536714472(char*, char*, int, char*, char*);
61 char* ieee_p_3499444699_sub_4192098780_3536714472(char*, char*, char*, char*);
62 char* ieee_p_3499444699_sub_4208333081_3536714472(
63  char*, char*, unsigned char, char*, char*);
64 char* ieee_p_3499444699_sub_4232465333_3536714472(char*, char*, char*, char*, int);
65 char* ieee_p_3499444699_sub_4232537207_3536714472(char*, char*, char*, char*, int);
66 char* ieee_p_3499444699_sub_460092141_3536714472(
67  char*, char*, char*, char*, unsigned char);
68 char* ieee_p_3499444699_sub_723876666_3536714472(
69  char*, char*, char*, char*, char*, char*);
70 char* ieee_p_3499444699_sub_723948540_3536714472(
71  char*, char*, char*, char*, char*, char*);
72 
73 int ieee_p_3620187407_sub_3716635170_3965413181(char* t1, int t2, int t3)
74 {
75  char t5[16];
76  int t0;
77  char* t6;
78  char* t7;
79  unsigned char t8;
80 
81 LAB0:
82  t6 = (t5 + 4U);
83  *((int*)t6) = t2;
84  t7 = (t5 + 8U);
85  *((int*)t7) = t3;
86  t8 = (t2 > t3);
87  if(t8 != 0)
88  goto LAB2;
89 
90 LAB4:
91  t0 = t3;
92 
93 LAB1:
94  return t0;
95 LAB2:
96  t0 = t2;
97  goto LAB1;
98 
99 LAB3:
100  xsi_error(ng0);
101  t0 = 0;
102  goto LAB1;
103 
104 LAB5:
105  goto LAB3;
106 
107 LAB6:
108  goto LAB3;
109 }
110 
111 char* ieee_p_3620187407_sub_767668596_3965413181(
112  char* t1, char* t2, char* t3, char* t4, char* t5, char* t6)
113 {
114  char t7[248];
115  char t8[40];
116  char t17[8];
117  char t26[16];
118  char t45[16];
119  char* t0;
120  char* t9;
121  unsigned int t10;
122  char* t11;
123  unsigned int t12;
124  int t13;
125  char* t14;
126  char* t15;
127  char* t16;
128  char* t18;
129  char* t19;
130  char* t20;
131  char* t21;
132  int t22;
133  int t23;
134  int t24;
135  unsigned int t25;
136  char* t27;
137  int t28;
138  int t29;
139  char* t30;
140  int t31;
141  unsigned int t32;
142  char* t33;
143  char* t34;
144  char* t35;
145  char* t36;
146  char* t37;
147  char* t38;
148  char* t39;
149  unsigned char t40;
150  char* t41;
151  char* t42;
152  unsigned char t43;
153  char* t44;
154  char* t46;
155  char* t47;
156  char* t48;
157  char* t49;
158  unsigned int t50;
159 
160 LAB0:
161  t9 = (t4 + 12U);
162  t10 = *((unsigned int*)t9);
163  t11 = (t6 + 12U);
164  t12 = *((unsigned int*)t11);
165  t13 = ieee_p_3620187407_sub_3716635170_3965413181(t1, ((t10)), ((t12)));
166  t14 = (t7 + 4U);
167  t15 = ((STD_STANDARD) + 384);
168  t16 = (t14 + 88U);
169  *((char**)t16) = t15;
170  t18 = (t14 + 56U);
171  *((char**)t18) = t17;
172  *((int*)t17) = t13;
173  t19 = (t14 + 80U);
174  *((unsigned int*)t19) = 4U;
175  t20 = (t14 + 56U);
176  t21 = *((char**)t20);
177  t22 = *((int*)t21);
178  t23 = (t22 - 1);
179  t24 = (0 - t23);
180  t25 = (t24 * -1);
181  t25 = (t25 + 1);
182  t25 = (t25 * 1U);
183  t20 = (t14 + 56U);
184  t27 = *((char**)t20);
185  t28 = *((int*)t27);
186  t29 = (t28 - 1);
187  t20 = (t26 + 0U);
188  t30 = (t20 + 0U);
189  *((int*)t30) = t29;
190  t30 = (t20 + 4U);
191  *((int*)t30) = 0;
192  t30 = (t20 + 8U);
193  *((int*)t30) = -1;
194  t31 = (0 - t29);
195  t32 = (t31 * -1);
196  t32 = (t32 + 1);
197  t30 = (t20 + 12U);
198  *((unsigned int*)t30) = t32;
199  t30 = (t7 + 124U);
200  t33 = ((IEEE_P_2592010699) + 4024);
201  t34 = (t30 + 88U);
202  *((char**)t34) = t33;
203  t35 = (char*)alloca(t25);
204  t36 = (t30 + 56U);
205  *((char**)t36) = t35;
206  xsi_type_set_default_value(t33, t35, t26);
207  t37 = (t30 + 64U);
208  *((char**)t37) = t26;
209  t38 = (t30 + 80U);
210  *((unsigned int*)t38) = t25;
211  t39 = (t8 + 4U);
212  t40 = (t3 != 0);
213  if(t40 == 1)
214  goto LAB3;
215 
216 LAB2:
217  t41 = (t8 + 12U);
218  *((char**)t41) = t4;
219  t42 = (t8 + 20U);
220  t43 = (t5 != 0);
221  if(t43 == 1)
222  goto LAB5;
223 
224 LAB4:
225  t44 = (t8 + 28U);
226  *((char**)t44) = t6;
227  t46 = ieee_p_3499444699_sub_723876666_3536714472(
228  IEEE_P_3499444699, t45, t3, t4, t5, t6);
229  t47 = (t30 + 56U);
230  t48 = *((char**)t47);
231  t47 = (t48 + 0);
232  t49 = (t45 + 12U);
233  t32 = *((unsigned int*)t49);
234  t50 = (1U * t32);
235  memcpy(t47, t46, t50);
236  t9 = (t30 + 56U);
237  t11 = *((char**)t9);
238  t9 = (t26 + 12U);
239  t10 = *((unsigned int*)t9);
240  t10 = (t10 * 1U);
241  t0 = xsi_get_transient_memory(t10);
242  memcpy(t0, t11, t10);
243  t15 = (t26 + 0U);
244  t13 = *((int*)t15);
245  t16 = (t26 + 4U);
246  t22 = *((int*)t16);
247  t18 = (t26 + 8U);
248  t23 = *((int*)t18);
249  t19 = (t2 + 0U);
250  t20 = (t19 + 0U);
251  *((int*)t20) = t13;
252  t20 = (t19 + 4U);
253  *((int*)t20) = t22;
254  t20 = (t19 + 8U);
255  *((int*)t20) = t23;
256  t24 = (t22 - t13);
257  t12 = (t24 * t23);
258  t12 = (t12 + 1);
259  t20 = (t19 + 12U);
260  *((unsigned int*)t20) = t12;
261 
262 LAB1:
263  return t0;
264 LAB3:
265  *((char**)t39) = t3;
266  goto LAB2;
267 
268 LAB5:
269  *((char**)t42) = t5;
270  goto LAB4;
271 
272 LAB6:;
273 }
274 
275 char* ieee_p_3620187407_sub_436279890_3965413181(
276  char* t1, char* t2, char* t3, char* t4, int t5)
277 {
278  char t6[128];
279  char t7[24];
280  char t10[16];
281  char t31[16];
282  char* t0;
283  char* t8;
284  unsigned int t9;
285  char* t11;
286  int t12;
287  char* t13;
288  int t14;
289  char* t15;
290  int t16;
291  char* t17;
292  char* t18;
293  int t19;
294  unsigned int t20;
295  char* t21;
296  char* t22;
297  char* t23;
298  char* t24;
299  char* t25;
300  char* t26;
301  char* t27;
302  unsigned char t28;
303  char* t29;
304  char* t30;
305  char* t32;
306  char* t33;
307  char* t34;
308  char* t35;
309  unsigned int t36;
310 
311 LAB0:
312  t8 = (t4 + 12U);
313  t9 = *((unsigned int*)t8);
314  t9 = (t9 * 1U);
315  t11 = (t4 + 0U);
316  t12 = *((int*)t11);
317  t13 = (t4 + 4U);
318  t14 = *((int*)t13);
319  t15 = (t4 + 8U);
320  t16 = *((int*)t15);
321  t17 = (t10 + 0U);
322  t18 = (t17 + 0U);
323  *((int*)t18) = t12;
324  t18 = (t17 + 4U);
325  *((int*)t18) = t14;
326  t18 = (t17 + 8U);
327  *((int*)t18) = t16;
328  t19 = (t14 - t12);
329  t20 = (t19 * t16);
330  t20 = (t20 + 1);
331  t18 = (t17 + 12U);
332  *((unsigned int*)t18) = t20;
333  t18 = (t6 + 4U);
334  t21 = ((IEEE_P_2592010699) + 4024);
335  t22 = (t18 + 88U);
336  *((char**)t22) = t21;
337  t23 = (char*)alloca(t9);
338  t24 = (t18 + 56U);
339  *((char**)t24) = t23;
340  xsi_type_set_default_value(t21, t23, t10);
341  t25 = (t18 + 64U);
342  *((char**)t25) = t10;
343  t26 = (t18 + 80U);
344  *((unsigned int*)t26) = t9;
345  t27 = (t7 + 4U);
346  t28 = (t3 != 0);
347  if(t28 == 1)
348  goto LAB3;
349 
350 LAB2:
351  t29 = (t7 + 12U);
352  *((char**)t29) = t4;
353  t30 = (t7 + 20U);
354  *((int*)t30) = t5;
355  t32 = ieee_p_3499444699_sub_4232465333_3536714472(IEEE_P_3499444699, t31, t3, t4, t5);
356  t33 = (t18 + 56U);
357  t34 = *((char**)t33);
358  t33 = (t34 + 0);
359  t35 = (t31 + 12U);
360  t20 = *((unsigned int*)t35);
361  t36 = (1U * t20);
362  memcpy(t33, t32, t36);
363  t8 = (t18 + 56U);
364  t11 = *((char**)t8);
365  t8 = (t10 + 12U);
366  t9 = *((unsigned int*)t8);
367  t9 = (t9 * 1U);
368  t0 = xsi_get_transient_memory(t9);
369  memcpy(t0, t11, t9);
370  t13 = (t10 + 0U);
371  t12 = *((int*)t13);
372  t15 = (t10 + 4U);
373  t14 = *((int*)t15);
374  t17 = (t10 + 8U);
375  t16 = *((int*)t17);
376  t21 = (t2 + 0U);
377  t22 = (t21 + 0U);
378  *((int*)t22) = t12;
379  t22 = (t21 + 4U);
380  *((int*)t22) = t14;
381  t22 = (t21 + 8U);
382  *((int*)t22) = t16;
383  t19 = (t14 - t12);
384  t20 = (t19 * t16);
385  t20 = (t20 + 1);
386  t22 = (t21 + 12U);
387  *((unsigned int*)t22) = t20;
388 
389 LAB1:
390  return t0;
391 LAB3:
392  *((char**)t27) = t3;
393  goto LAB2;
394 
395 LAB4:;
396 }
397 
398 char* ieee_p_3620187407_sub_27954454_3965413181(
399  char* t1, char* t2, int t3, char* t4, char* t5)
400 {
401  char t6[128];
402  char t7[24];
403  char t10[16];
404  char t31[16];
405  char* t0;
406  char* t8;
407  unsigned int t9;
408  char* t11;
409  int t12;
410  char* t13;
411  int t14;
412  char* t15;
413  int t16;
414  char* t17;
415  char* t18;
416  int t19;
417  unsigned int t20;
418  char* t21;
419  char* t22;
420  char* t23;
421  char* t24;
422  char* t25;
423  char* t26;
424  char* t27;
425  char* t28;
426  unsigned char t29;
427  char* t30;
428  char* t32;
429  char* t33;
430  char* t34;
431  char* t35;
432  unsigned int t36;
433 
434 LAB0:
435  t8 = (t5 + 12U);
436  t9 = *((unsigned int*)t8);
437  t9 = (t9 * 1U);
438  t11 = (t5 + 0U);
439  t12 = *((int*)t11);
440  t13 = (t5 + 4U);
441  t14 = *((int*)t13);
442  t15 = (t5 + 8U);
443  t16 = *((int*)t15);
444  t17 = (t10 + 0U);
445  t18 = (t17 + 0U);
446  *((int*)t18) = t12;
447  t18 = (t17 + 4U);
448  *((int*)t18) = t14;
449  t18 = (t17 + 8U);
450  *((int*)t18) = t16;
451  t19 = (t14 - t12);
452  t20 = (t19 * t16);
453  t20 = (t20 + 1);
454  t18 = (t17 + 12U);
455  *((unsigned int*)t18) = t20;
456  t18 = (t6 + 4U);
457  t21 = ((IEEE_P_2592010699) + 4024);
458  t22 = (t18 + 88U);
459  *((char**)t22) = t21;
460  t23 = (char*)alloca(t9);
461  t24 = (t18 + 56U);
462  *((char**)t24) = t23;
463  xsi_type_set_default_value(t21, t23, t10);
464  t25 = (t18 + 64U);
465  *((char**)t25) = t10;
466  t26 = (t18 + 80U);
467  *((unsigned int*)t26) = t9;
468  t27 = (t7 + 4U);
469  *((int*)t27) = t3;
470  t28 = (t7 + 8U);
471  t29 = (t4 != 0);
472  if(t29 == 1)
473  goto LAB3;
474 
475 LAB2:
476  t30 = (t7 + 16U);
477  *((char**)t30) = t5;
478  t32 = ieee_p_3499444699_sub_4144887825_3536714472(IEEE_P_3499444699, t31, t3, t4, t5);
479  t33 = (t18 + 56U);
480  t34 = *((char**)t33);
481  t33 = (t34 + 0);
482  t35 = (t31 + 12U);
483  t20 = *((unsigned int*)t35);
484  t36 = (1U * t20);
485  memcpy(t33, t32, t36);
486  t8 = (t18 + 56U);
487  t11 = *((char**)t8);
488  t8 = (t10 + 12U);
489  t9 = *((unsigned int*)t8);
490  t9 = (t9 * 1U);
491  t0 = xsi_get_transient_memory(t9);
492  memcpy(t0, t11, t9);
493  t13 = (t10 + 0U);
494  t12 = *((int*)t13);
495  t15 = (t10 + 4U);
496  t14 = *((int*)t15);
497  t17 = (t10 + 8U);
498  t16 = *((int*)t17);
499  t21 = (t2 + 0U);
500  t22 = (t21 + 0U);
501  *((int*)t22) = t12;
502  t22 = (t21 + 4U);
503  *((int*)t22) = t14;
504  t22 = (t21 + 8U);
505  *((int*)t22) = t16;
506  t19 = (t14 - t12);
507  t20 = (t19 * t16);
508  t20 = (t20 + 1);
509  t22 = (t21 + 12U);
510  *((unsigned int*)t22) = t20;
511 
512 LAB1:
513  return t0;
514 LAB3:
515  *((char**)t28) = t4;
516  goto LAB2;
517 
518 LAB4:;
519 }
520 
521 char* ieee_p_3620187407_sub_674691591_3965413181(
522  char* t1, char* t2, char* t3, char* t4, unsigned char t5)
523 {
524  char t6[128];
525  char t7[24];
526  char t10[16];
527  char t31[16];
528  char* t0;
529  char* t8;
530  unsigned int t9;
531  char* t11;
532  int t12;
533  char* t13;
534  int t14;
535  char* t15;
536  int t16;
537  char* t17;
538  char* t18;
539  int t19;
540  unsigned int t20;
541  char* t21;
542  char* t22;
543  char* t23;
544  char* t24;
545  char* t25;
546  char* t26;
547  char* t27;
548  unsigned char t28;
549  char* t29;
550  char* t30;
551  char* t32;
552  char* t33;
553  char* t34;
554  char* t35;
555  unsigned int t36;
556 
557 LAB0:
558  t8 = (t4 + 12U);
559  t9 = *((unsigned int*)t8);
560  t9 = (t9 * 1U);
561  t11 = (t4 + 0U);
562  t12 = *((int*)t11);
563  t13 = (t4 + 4U);
564  t14 = *((int*)t13);
565  t15 = (t4 + 8U);
566  t16 = *((int*)t15);
567  t17 = (t10 + 0U);
568  t18 = (t17 + 0U);
569  *((int*)t18) = t12;
570  t18 = (t17 + 4U);
571  *((int*)t18) = t14;
572  t18 = (t17 + 8U);
573  *((int*)t18) = t16;
574  t19 = (t14 - t12);
575  t20 = (t19 * t16);
576  t20 = (t20 + 1);
577  t18 = (t17 + 12U);
578  *((unsigned int*)t18) = t20;
579  t18 = (t6 + 4U);
580  t21 = ((IEEE_P_2592010699) + 4024);
581  t22 = (t18 + 88U);
582  *((char**)t22) = t21;
583  t23 = (char*)alloca(t9);
584  t24 = (t18 + 56U);
585  *((char**)t24) = t23;
586  xsi_type_set_default_value(t21, t23, t10);
587  t25 = (t18 + 64U);
588  *((char**)t25) = t10;
589  t26 = (t18 + 80U);
590  *((unsigned int*)t26) = t9;
591  t27 = (t7 + 4U);
592  t28 = (t3 != 0);
593  if(t28 == 1)
594  goto LAB3;
595 
596 LAB2:
597  t29 = (t7 + 12U);
598  *((char**)t29) = t4;
599  t30 = (t7 + 20U);
600  *((unsigned char*)t30) = t5;
601  t32 = ieee_p_3499444699_sub_289433618_3536714472(IEEE_P_3499444699, t31, t3, t4, t5);
602  t33 = (t18 + 56U);
603  t34 = *((char**)t33);
604  t33 = (t34 + 0);
605  t35 = (t31 + 12U);
606  t20 = *((unsigned int*)t35);
607  t36 = (1U * t20);
608  memcpy(t33, t32, t36);
609  t8 = (t18 + 56U);
610  t11 = *((char**)t8);
611  t8 = (t10 + 12U);
612  t9 = *((unsigned int*)t8);
613  t9 = (t9 * 1U);
614  t0 = xsi_get_transient_memory(t9);
615  memcpy(t0, t11, t9);
616  t13 = (t10 + 0U);
617  t12 = *((int*)t13);
618  t15 = (t10 + 4U);
619  t14 = *((int*)t15);
620  t17 = (t10 + 8U);
621  t16 = *((int*)t17);
622  t21 = (t2 + 0U);
623  t22 = (t21 + 0U);
624  *((int*)t22) = t12;
625  t22 = (t21 + 4U);
626  *((int*)t22) = t14;
627  t22 = (t21 + 8U);
628  *((int*)t22) = t16;
629  t19 = (t14 - t12);
630  t20 = (t19 * t16);
631  t20 = (t20 + 1);
632  t22 = (t21 + 12U);
633  *((unsigned int*)t22) = t20;
634 
635 LAB1:
636  return t0;
637 LAB3:
638  *((char**)t27) = t3;
639  goto LAB2;
640 
641 LAB4:;
642 }
643 
644 char* ieee_p_3620187407_sub_4129134319_3965413181(
645  char* t1, char* t2, unsigned char t3, char* t4, char* t5)
646 {
647  char t6[128];
648  char t7[24];
649  char t10[16];
650  char t31[16];
651  char* t0;
652  char* t8;
653  unsigned int t9;
654  char* t11;
655  int t12;
656  char* t13;
657  int t14;
658  char* t15;
659  int t16;
660  char* t17;
661  char* t18;
662  int t19;
663  unsigned int t20;
664  char* t21;
665  char* t22;
666  char* t23;
667  char* t24;
668  char* t25;
669  char* t26;
670  char* t27;
671  char* t28;
672  unsigned char t29;
673  char* t30;
674  char* t32;
675  char* t33;
676  char* t34;
677  char* t35;
678  unsigned int t36;
679 
680 LAB0:
681  t8 = (t5 + 12U);
682  t9 = *((unsigned int*)t8);
683  t9 = (t9 * 1U);
684  t11 = (t5 + 0U);
685  t12 = *((int*)t11);
686  t13 = (t5 + 4U);
687  t14 = *((int*)t13);
688  t15 = (t5 + 8U);
689  t16 = *((int*)t15);
690  t17 = (t10 + 0U);
691  t18 = (t17 + 0U);
692  *((int*)t18) = t12;
693  t18 = (t17 + 4U);
694  *((int*)t18) = t14;
695  t18 = (t17 + 8U);
696  *((int*)t18) = t16;
697  t19 = (t14 - t12);
698  t20 = (t19 * t16);
699  t20 = (t20 + 1);
700  t18 = (t17 + 12U);
701  *((unsigned int*)t18) = t20;
702  t18 = (t6 + 4U);
703  t21 = ((IEEE_P_2592010699) + 4024);
704  t22 = (t18 + 88U);
705  *((char**)t22) = t21;
706  t23 = (char*)alloca(t9);
707  t24 = (t18 + 56U);
708  *((char**)t24) = t23;
709  xsi_type_set_default_value(t21, t23, t10);
710  t25 = (t18 + 64U);
711  *((char**)t25) = t10;
712  t26 = (t18 + 80U);
713  *((unsigned int*)t26) = t9;
714  t27 = (t7 + 4U);
715  *((unsigned char*)t27) = t3;
716  t28 = (t7 + 5U);
717  t29 = (t4 != 0);
718  if(t29 == 1)
719  goto LAB3;
720 
721 LAB2:
722  t30 = (t7 + 13U);
723  *((char**)t30) = t5;
724  t32 = ieee_p_3499444699_sub_4112306614_3536714472(IEEE_P_3499444699, t31, t3, t4, t5);
725  t33 = (t18 + 56U);
726  t34 = *((char**)t33);
727  t33 = (t34 + 0);
728  t35 = (t31 + 12U);
729  t20 = *((unsigned int*)t35);
730  t36 = (1U * t20);
731  memcpy(t33, t32, t36);
732  t8 = (t18 + 56U);
733  t11 = *((char**)t8);
734  t8 = (t10 + 12U);
735  t9 = *((unsigned int*)t8);
736  t9 = (t9 * 1U);
737  t0 = xsi_get_transient_memory(t9);
738  memcpy(t0, t11, t9);
739  t13 = (t10 + 0U);
740  t12 = *((int*)t13);
741  t15 = (t10 + 4U);
742  t14 = *((int*)t15);
743  t17 = (t10 + 8U);
744  t16 = *((int*)t17);
745  t21 = (t2 + 0U);
746  t22 = (t21 + 0U);
747  *((int*)t22) = t12;
748  t22 = (t21 + 4U);
749  *((int*)t22) = t14;
750  t22 = (t21 + 8U);
751  *((int*)t22) = t16;
752  t19 = (t14 - t12);
753  t20 = (t19 * t16);
754  t20 = (t20 + 1);
755  t22 = (t21 + 12U);
756  *((unsigned int*)t22) = t20;
757 
758 LAB1:
759  return t0;
760 LAB3:
761  *((char**)t28) = t4;
762  goto LAB2;
763 
764 LAB4:;
765 }
766 
767 char* ieee_p_3620187407_sub_767740470_3965413181(
768  char* t1, char* t2, char* t3, char* t4, char* t5, char* t6)
769 {
770  char t7[248];
771  char t8[40];
772  char t17[8];
773  char t26[16];
774  char t45[16];
775  char* t0;
776  char* t9;
777  unsigned int t10;
778  char* t11;
779  unsigned int t12;
780  int t13;
781  char* t14;
782  char* t15;
783  char* t16;
784  char* t18;
785  char* t19;
786  char* t20;
787  char* t21;
788  int t22;
789  int t23;
790  int t24;
791  unsigned int t25;
792  char* t27;
793  int t28;
794  int t29;
795  char* t30;
796  int t31;
797  unsigned int t32;
798  char* t33;
799  char* t34;
800  char* t35;
801  char* t36;
802  char* t37;
803  char* t38;
804  char* t39;
805  unsigned char t40;
806  char* t41;
807  char* t42;
808  unsigned char t43;
809  char* t44;
810  char* t46;
811  char* t47;
812  char* t48;
813  char* t49;
814  unsigned int t50;
815 
816 LAB0:
817  t9 = (t4 + 12U);
818  t10 = *((unsigned int*)t9);
819  t11 = (t6 + 12U);
820  t12 = *((unsigned int*)t11);
821  t13 = ieee_p_3620187407_sub_3716635170_3965413181(t1, ((t10)), ((t12)));
822  t14 = (t7 + 4U);
823  t15 = ((STD_STANDARD) + 384);
824  t16 = (t14 + 88U);
825  *((char**)t16) = t15;
826  t18 = (t14 + 56U);
827  *((char**)t18) = t17;
828  *((int*)t17) = t13;
829  t19 = (t14 + 80U);
830  *((unsigned int*)t19) = 4U;
831  t20 = (t14 + 56U);
832  t21 = *((char**)t20);
833  t22 = *((int*)t21);
834  t23 = (t22 - 1);
835  t24 = (0 - t23);
836  t25 = (t24 * -1);
837  t25 = (t25 + 1);
838  t25 = (t25 * 1U);
839  t20 = (t14 + 56U);
840  t27 = *((char**)t20);
841  t28 = *((int*)t27);
842  t29 = (t28 - 1);
843  t20 = (t26 + 0U);
844  t30 = (t20 + 0U);
845  *((int*)t30) = t29;
846  t30 = (t20 + 4U);
847  *((int*)t30) = 0;
848  t30 = (t20 + 8U);
849  *((int*)t30) = -1;
850  t31 = (0 - t29);
851  t32 = (t31 * -1);
852  t32 = (t32 + 1);
853  t30 = (t20 + 12U);
854  *((unsigned int*)t30) = t32;
855  t30 = (t7 + 124U);
856  t33 = ((IEEE_P_2592010699) + 4024);
857  t34 = (t30 + 88U);
858  *((char**)t34) = t33;
859  t35 = (char*)alloca(t25);
860  t36 = (t30 + 56U);
861  *((char**)t36) = t35;
862  xsi_type_set_default_value(t33, t35, t26);
863  t37 = (t30 + 64U);
864  *((char**)t37) = t26;
865  t38 = (t30 + 80U);
866  *((unsigned int*)t38) = t25;
867  t39 = (t8 + 4U);
868  t40 = (t3 != 0);
869  if(t40 == 1)
870  goto LAB3;
871 
872 LAB2:
873  t41 = (t8 + 12U);
874  *((char**)t41) = t4;
875  t42 = (t8 + 20U);
876  t43 = (t5 != 0);
877  if(t43 == 1)
878  goto LAB5;
879 
880 LAB4:
881  t44 = (t8 + 28U);
882  *((char**)t44) = t6;
883  t46 = ieee_p_3499444699_sub_723948540_3536714472(
884  IEEE_P_3499444699, t45, t3, t4, t5, t6);
885  t47 = (t30 + 56U);
886  t48 = *((char**)t47);
887  t47 = (t48 + 0);
888  t49 = (t45 + 12U);
889  t32 = *((unsigned int*)t49);
890  t50 = (1U * t32);
891  memcpy(t47, t46, t50);
892  t9 = (t30 + 56U);
893  t11 = *((char**)t9);
894  t9 = (t26 + 12U);
895  t10 = *((unsigned int*)t9);
896  t10 = (t10 * 1U);
897  t0 = xsi_get_transient_memory(t10);
898  memcpy(t0, t11, t10);
899  t15 = (t26 + 0U);
900  t13 = *((int*)t15);
901  t16 = (t26 + 4U);
902  t22 = *((int*)t16);
903  t18 = (t26 + 8U);
904  t23 = *((int*)t18);
905  t19 = (t2 + 0U);
906  t20 = (t19 + 0U);
907  *((int*)t20) = t13;
908  t20 = (t19 + 4U);
909  *((int*)t20) = t22;
910  t20 = (t19 + 8U);
911  *((int*)t20) = t23;
912  t24 = (t22 - t13);
913  t12 = (t24 * t23);
914  t12 = (t12 + 1);
915  t20 = (t19 + 12U);
916  *((unsigned int*)t20) = t12;
917 
918 LAB1:
919  return t0;
920 LAB3:
921  *((char**)t39) = t3;
922  goto LAB2;
923 
924 LAB5:
925  *((char**)t42) = t5;
926  goto LAB4;
927 
928 LAB6:;
929 }
930 
931 char* ieee_p_3620187407_sub_436351764_3965413181(
932  char* t1, char* t2, char* t3, char* t4, int t5)
933 {
934  char t6[128];
935  char t7[24];
936  char t10[16];
937  char t31[16];
938  char* t0;
939  char* t8;
940  unsigned int t9;
941  char* t11;
942  int t12;
943  char* t13;
944  int t14;
945  char* t15;
946  int t16;
947  char* t17;
948  char* t18;
949  int t19;
950  unsigned int t20;
951  char* t21;
952  char* t22;
953  char* t23;
954  char* t24;
955  char* t25;
956  char* t26;
957  char* t27;
958  unsigned char t28;
959  char* t29;
960  char* t30;
961  char* t32;
962  char* t33;
963  char* t34;
964  char* t35;
965  unsigned int t36;
966 
967 LAB0:
968  t8 = (t4 + 12U);
969  t9 = *((unsigned int*)t8);
970  t9 = (t9 * 1U);
971  t11 = (t4 + 0U);
972  t12 = *((int*)t11);
973  t13 = (t4 + 4U);
974  t14 = *((int*)t13);
975  t15 = (t4 + 8U);
976  t16 = *((int*)t15);
977  t17 = (t10 + 0U);
978  t18 = (t17 + 0U);
979  *((int*)t18) = t12;
980  t18 = (t17 + 4U);
981  *((int*)t18) = t14;
982  t18 = (t17 + 8U);
983  *((int*)t18) = t16;
984  t19 = (t14 - t12);
985  t20 = (t19 * t16);
986  t20 = (t20 + 1);
987  t18 = (t17 + 12U);
988  *((unsigned int*)t18) = t20;
989  t18 = (t6 + 4U);
990  t21 = ((IEEE_P_2592010699) + 4024);
991  t22 = (t18 + 88U);
992  *((char**)t22) = t21;
993  t23 = (char*)alloca(t9);
994  t24 = (t18 + 56U);
995  *((char**)t24) = t23;
996  xsi_type_set_default_value(t21, t23, t10);
997  t25 = (t18 + 64U);
998  *((char**)t25) = t10;
999  t26 = (t18 + 80U);
1000  *((unsigned int*)t26) = t9;
1001  t27 = (t7 + 4U);
1002  t28 = (t3 != 0);
1003  if(t28 == 1)
1004  goto LAB3;
1005 
1006 LAB2:
1007  t29 = (t7 + 12U);
1008  *((char**)t29) = t4;
1009  t30 = (t7 + 20U);
1010  *((int*)t30) = t5;
1011  t32 = ieee_p_3499444699_sub_4232537207_3536714472(IEEE_P_3499444699, t31, t3, t4, t5);
1012  t33 = (t18 + 56U);
1013  t34 = *((char**)t33);
1014  t33 = (t34 + 0);
1015  t35 = (t31 + 12U);
1016  t20 = *((unsigned int*)t35);
1017  t36 = (1U * t20);
1018  memcpy(t33, t32, t36);
1019  t8 = (t18 + 56U);
1020  t11 = *((char**)t8);
1021  t8 = (t10 + 12U);
1022  t9 = *((unsigned int*)t8);
1023  t9 = (t9 * 1U);
1024  t0 = xsi_get_transient_memory(t9);
1025  memcpy(t0, t11, t9);
1026  t13 = (t10 + 0U);
1027  t12 = *((int*)t13);
1028  t15 = (t10 + 4U);
1029  t14 = *((int*)t15);
1030  t17 = (t10 + 8U);
1031  t16 = *((int*)t17);
1032  t21 = (t2 + 0U);
1033  t22 = (t21 + 0U);
1034  *((int*)t22) = t12;
1035  t22 = (t21 + 4U);
1036  *((int*)t22) = t14;
1037  t22 = (t21 + 8U);
1038  *((int*)t22) = t16;
1039  t19 = (t14 - t12);
1040  t20 = (t19 * t16);
1041  t20 = (t20 + 1);
1042  t22 = (t21 + 12U);
1043  *((unsigned int*)t22) = t20;
1044 
1045 LAB1:
1046  return t0;
1047 LAB3:
1048  *((char**)t27) = t3;
1049  goto LAB2;
1050 
1051 LAB4:;
1052 }
1053 
1054 char* ieee_p_3620187407_sub_28026328_3965413181(
1055  char* t1, char* t2, int t3, char* t4, char* t5)
1056 {
1057  char t6[128];
1058  char t7[24];
1059  char t10[16];
1060  char t31[16];
1061  char* t0;
1062  char* t8;
1063  unsigned int t9;
1064  char* t11;
1065  int t12;
1066  char* t13;
1067  int t14;
1068  char* t15;
1069  int t16;
1070  char* t17;
1071  char* t18;
1072  int t19;
1073  unsigned int t20;
1074  char* t21;
1075  char* t22;
1076  char* t23;
1077  char* t24;
1078  char* t25;
1079  char* t26;
1080  char* t27;
1081  char* t28;
1082  unsigned char t29;
1083  char* t30;
1084  char* t32;
1085  char* t33;
1086  char* t34;
1087  char* t35;
1088  unsigned int t36;
1089 
1090 LAB0:
1091  t8 = (t5 + 12U);
1092  t9 = *((unsigned int*)t8);
1093  t9 = (t9 * 1U);
1094  t11 = (t5 + 0U);
1095  t12 = *((int*)t11);
1096  t13 = (t5 + 4U);
1097  t14 = *((int*)t13);
1098  t15 = (t5 + 8U);
1099  t16 = *((int*)t15);
1100  t17 = (t10 + 0U);
1101  t18 = (t17 + 0U);
1102  *((int*)t18) = t12;
1103  t18 = (t17 + 4U);
1104  *((int*)t18) = t14;
1105  t18 = (t17 + 8U);
1106  *((int*)t18) = t16;
1107  t19 = (t14 - t12);
1108  t20 = (t19 * t16);
1109  t20 = (t20 + 1);
1110  t18 = (t17 + 12U);
1111  *((unsigned int*)t18) = t20;
1112  t18 = (t6 + 4U);
1113  t21 = ((IEEE_P_2592010699) + 4024);
1114  t22 = (t18 + 88U);
1115  *((char**)t22) = t21;
1116  t23 = (char*)alloca(t9);
1117  t24 = (t18 + 56U);
1118  *((char**)t24) = t23;
1119  xsi_type_set_default_value(t21, t23, t10);
1120  t25 = (t18 + 64U);
1121  *((char**)t25) = t10;
1122  t26 = (t18 + 80U);
1123  *((unsigned int*)t26) = t9;
1124  t27 = (t7 + 4U);
1125  *((int*)t27) = t3;
1126  t28 = (t7 + 8U);
1127  t29 = (t4 != 0);
1128  if(t29 == 1)
1129  goto LAB3;
1130 
1131 LAB2:
1132  t30 = (t7 + 16U);
1133  *((char**)t30) = t5;
1134  t32 = ieee_p_3499444699_sub_4144959699_3536714472(IEEE_P_3499444699, t31, t3, t4, t5);
1135  t33 = (t18 + 56U);
1136  t34 = *((char**)t33);
1137  t33 = (t34 + 0);
1138  t35 = (t31 + 12U);
1139  t20 = *((unsigned int*)t35);
1140  t36 = (1U * t20);
1141  memcpy(t33, t32, t36);
1142  t8 = (t18 + 56U);
1143  t11 = *((char**)t8);
1144  t8 = (t10 + 12U);
1145  t9 = *((unsigned int*)t8);
1146  t9 = (t9 * 1U);
1147  t0 = xsi_get_transient_memory(t9);
1148  memcpy(t0, t11, t9);
1149  t13 = (t10 + 0U);
1150  t12 = *((int*)t13);
1151  t15 = (t10 + 4U);
1152  t14 = *((int*)t15);
1153  t17 = (t10 + 8U);
1154  t16 = *((int*)t17);
1155  t21 = (t2 + 0U);
1156  t22 = (t21 + 0U);
1157  *((int*)t22) = t12;
1158  t22 = (t21 + 4U);
1159  *((int*)t22) = t14;
1160  t22 = (t21 + 8U);
1161  *((int*)t22) = t16;
1162  t19 = (t14 - t12);
1163  t20 = (t19 * t16);
1164  t20 = (t20 + 1);
1165  t22 = (t21 + 12U);
1166  *((unsigned int*)t22) = t20;
1167 
1168 LAB1:
1169  return t0;
1170 LAB3:
1171  *((char**)t28) = t4;
1172  goto LAB2;
1173 
1174 LAB4:;
1175 }
1176 
1177 char* ieee_p_3620187407_sub_674763465_3965413181(
1178  char* t1, char* t2, char* t3, char* t4, unsigned char t5)
1179 {
1180  char t6[128];
1181  char t7[24];
1182  char t10[16];
1183  char t31[16];
1184  char* t0;
1185  char* t8;
1186  unsigned int t9;
1187  char* t11;
1188  int t12;
1189  char* t13;
1190  int t14;
1191  char* t15;
1192  int t16;
1193  char* t17;
1194  char* t18;
1195  int t19;
1196  unsigned int t20;
1197  char* t21;
1198  char* t22;
1199  char* t23;
1200  char* t24;
1201  char* t25;
1202  char* t26;
1203  char* t27;
1204  unsigned char t28;
1205  char* t29;
1206  char* t30;
1207  char* t32;
1208  char* t33;
1209  char* t34;
1210  char* t35;
1211  unsigned int t36;
1212 
1213 LAB0:
1214  t8 = (t4 + 12U);
1215  t9 = *((unsigned int*)t8);
1216  t9 = (t9 * 1U);
1217  t11 = (t4 + 0U);
1218  t12 = *((int*)t11);
1219  t13 = (t4 + 4U);
1220  t14 = *((int*)t13);
1221  t15 = (t4 + 8U);
1222  t16 = *((int*)t15);
1223  t17 = (t10 + 0U);
1224  t18 = (t17 + 0U);
1225  *((int*)t18) = t12;
1226  t18 = (t17 + 4U);
1227  *((int*)t18) = t14;
1228  t18 = (t17 + 8U);
1229  *((int*)t18) = t16;
1230  t19 = (t14 - t12);
1231  t20 = (t19 * t16);
1232  t20 = (t20 + 1);
1233  t18 = (t17 + 12U);
1234  *((unsigned int*)t18) = t20;
1235  t18 = (t6 + 4U);
1236  t21 = ((IEEE_P_2592010699) + 4024);
1237  t22 = (t18 + 88U);
1238  *((char**)t22) = t21;
1239  t23 = (char*)alloca(t9);
1240  t24 = (t18 + 56U);
1241  *((char**)t24) = t23;
1242  xsi_type_set_default_value(t21, t23, t10);
1243  t25 = (t18 + 64U);
1244  *((char**)t25) = t10;
1245  t26 = (t18 + 80U);
1246  *((unsigned int*)t26) = t9;
1247  t27 = (t7 + 4U);
1248  t28 = (t3 != 0);
1249  if(t28 == 1)
1250  goto LAB3;
1251 
1252 LAB2:
1253  t29 = (t7 + 12U);
1254  *((char**)t29) = t4;
1255  t30 = (t7 + 20U);
1256  *((unsigned char*)t30) = t5;
1257  t32 = ieee_p_3499444699_sub_460092141_3536714472(IEEE_P_3499444699, t31, t3, t4, t5);
1258  t33 = (t18 + 56U);
1259  t34 = *((char**)t33);
1260  t33 = (t34 + 0);
1261  t35 = (t31 + 12U);
1262  t20 = *((unsigned int*)t35);
1263  t36 = (1U * t20);
1264  memcpy(t33, t32, t36);
1265  t8 = (t18 + 56U);
1266  t11 = *((char**)t8);
1267  t8 = (t10 + 12U);
1268  t9 = *((unsigned int*)t8);
1269  t9 = (t9 * 1U);
1270  t0 = xsi_get_transient_memory(t9);
1271  memcpy(t0, t11, t9);
1272  t13 = (t10 + 0U);
1273  t12 = *((int*)t13);
1274  t15 = (t10 + 4U);
1275  t14 = *((int*)t15);
1276  t17 = (t10 + 8U);
1277  t16 = *((int*)t17);
1278  t21 = (t2 + 0U);
1279  t22 = (t21 + 0U);
1280  *((int*)t22) = t12;
1281  t22 = (t21 + 4U);
1282  *((int*)t22) = t14;
1283  t22 = (t21 + 8U);
1284  *((int*)t22) = t16;
1285  t19 = (t14 - t12);
1286  t20 = (t19 * t16);
1287  t20 = (t20 + 1);
1288  t22 = (t21 + 12U);
1289  *((unsigned int*)t22) = t20;
1290 
1291 LAB1:
1292  return t0;
1293 LAB3:
1294  *((char**)t27) = t3;
1295  goto LAB2;
1296 
1297 LAB4:;
1298 }
1299 
1300 char* ieee_p_3620187407_sub_4129206193_3965413181(
1301  char* t1, char* t2, unsigned char t3, char* t4, char* t5)
1302 {
1303  char t6[128];
1304  char t7[24];
1305  char t10[16];
1306  char t31[16];
1307  char* t0;
1308  char* t8;
1309  unsigned int t9;
1310  char* t11;
1311  int t12;
1312  char* t13;
1313  int t14;
1314  char* t15;
1315  int t16;
1316  char* t17;
1317  char* t18;
1318  int t19;
1319  unsigned int t20;
1320  char* t21;
1321  char* t22;
1322  char* t23;
1323  char* t24;
1324  char* t25;
1325  char* t26;
1326  char* t27;
1327  char* t28;
1328  unsigned char t29;
1329  char* t30;
1330  char* t32;
1331  char* t33;
1332  char* t34;
1333  char* t35;
1334  unsigned int t36;
1335 
1336 LAB0:
1337  t8 = (t5 + 12U);
1338  t9 = *((unsigned int*)t8);
1339  t9 = (t9 * 1U);
1340  t11 = (t5 + 0U);
1341  t12 = *((int*)t11);
1342  t13 = (t5 + 4U);
1343  t14 = *((int*)t13);
1344  t15 = (t5 + 8U);
1345  t16 = *((int*)t15);
1346  t17 = (t10 + 0U);
1347  t18 = (t17 + 0U);
1348  *((int*)t18) = t12;
1349  t18 = (t17 + 4U);
1350  *((int*)t18) = t14;
1351  t18 = (t17 + 8U);
1352  *((int*)t18) = t16;
1353  t19 = (t14 - t12);
1354  t20 = (t19 * t16);
1355  t20 = (t20 + 1);
1356  t18 = (t17 + 12U);
1357  *((unsigned int*)t18) = t20;
1358  t18 = (t6 + 4U);
1359  t21 = ((IEEE_P_2592010699) + 4024);
1360  t22 = (t18 + 88U);
1361  *((char**)t22) = t21;
1362  t23 = (char*)alloca(t9);
1363  t24 = (t18 + 56U);
1364  *((char**)t24) = t23;
1365  xsi_type_set_default_value(t21, t23, t10);
1366  t25 = (t18 + 64U);
1367  *((char**)t25) = t10;
1368  t26 = (t18 + 80U);
1369  *((unsigned int*)t26) = t9;
1370  t27 = (t7 + 4U);
1371  *((unsigned char*)t27) = t3;
1372  t28 = (t7 + 5U);
1373  t29 = (t4 != 0);
1374  if(t29 == 1)
1375  goto LAB3;
1376 
1377 LAB2:
1378  t30 = (t7 + 13U);
1379  *((char**)t30) = t5;
1380  t32 = ieee_p_3499444699_sub_4208333081_3536714472(IEEE_P_3499444699, t31, t3, t4, t5);
1381  t33 = (t18 + 56U);
1382  t34 = *((char**)t33);
1383  t33 = (t34 + 0);
1384  t35 = (t31 + 12U);
1385  t20 = *((unsigned int*)t35);
1386  t36 = (1U * t20);
1387  memcpy(t33, t32, t36);
1388  t8 = (t18 + 56U);
1389  t11 = *((char**)t8);
1390  t8 = (t10 + 12U);
1391  t9 = *((unsigned int*)t8);
1392  t9 = (t9 * 1U);
1393  t0 = xsi_get_transient_memory(t9);
1394  memcpy(t0, t11, t9);
1395  t13 = (t10 + 0U);
1396  t12 = *((int*)t13);
1397  t15 = (t10 + 4U);
1398  t14 = *((int*)t15);
1399  t17 = (t10 + 8U);
1400  t16 = *((int*)t17);
1401  t21 = (t2 + 0U);
1402  t22 = (t21 + 0U);
1403  *((int*)t22) = t12;
1404  t22 = (t21 + 4U);
1405  *((int*)t22) = t14;
1406  t22 = (t21 + 8U);
1407  *((int*)t22) = t16;
1408  t19 = (t14 - t12);
1409  t20 = (t19 * t16);
1410  t20 = (t20 + 1);
1411  t22 = (t21 + 12U);
1412  *((unsigned int*)t22) = t20;
1413 
1414 LAB1:
1415  return t0;
1416 LAB3:
1417  *((char**)t28) = t4;
1418  goto LAB2;
1419 
1420 LAB4:;
1421 }
1422 
1423 char* ieee_p_3620187407_sub_4132103718_3965413181(char* t1, char* t2, char* t3, char* t4)
1424 {
1425  char t5[128];
1426  char t6[24];
1427  char t9[16];
1428  char t29[16];
1429  char* t0;
1430  char* t7;
1431  unsigned int t8;
1432  char* t10;
1433  int t11;
1434  char* t12;
1435  int t13;
1436  char* t14;
1437  int t15;
1438  char* t16;
1439  char* t17;
1440  int t18;
1441  unsigned int t19;
1442  char* t20;
1443  char* t21;
1444  char* t22;
1445  char* t23;
1446  char* t24;
1447  char* t25;
1448  char* t26;
1449  unsigned char t27;
1450  char* t28;
1451  char* t30;
1452  char* t31;
1453  char* t32;
1454  char* t33;
1455  unsigned int t34;
1456 
1457 LAB0:
1458  t7 = (t4 + 12U);
1459  t8 = *((unsigned int*)t7);
1460  t8 = (t8 * 1U);
1461  t10 = (t4 + 0U);
1462  t11 = *((int*)t10);
1463  t12 = (t4 + 4U);
1464  t13 = *((int*)t12);
1465  t14 = (t4 + 8U);
1466  t15 = *((int*)t14);
1467  t16 = (t9 + 0U);
1468  t17 = (t16 + 0U);
1469  *((int*)t17) = t11;
1470  t17 = (t16 + 4U);
1471  *((int*)t17) = t13;
1472  t17 = (t16 + 8U);
1473  *((int*)t17) = t15;
1474  t18 = (t13 - t11);
1475  t19 = (t18 * t15);
1476  t19 = (t19 + 1);
1477  t17 = (t16 + 12U);
1478  *((unsigned int*)t17) = t19;
1479  t17 = (t5 + 4U);
1480  t20 = ((IEEE_P_2592010699) + 4024);
1481  t21 = (t17 + 88U);
1482  *((char**)t21) = t20;
1483  t22 = (char*)alloca(t8);
1484  t23 = (t17 + 56U);
1485  *((char**)t23) = t22;
1486  xsi_type_set_default_value(t20, t22, t9);
1487  t24 = (t17 + 64U);
1488  *((char**)t24) = t9;
1489  t25 = (t17 + 80U);
1490  *((unsigned int*)t25) = t8;
1491  t26 = (t6 + 4U);
1492  t27 = (t3 != 0);
1493  if(t27 == 1)
1494  goto LAB3;
1495 
1496 LAB2:
1497  t28 = (t6 + 12U);
1498  *((char**)t28) = t4;
1499  t30 = ieee_p_3499444699_sub_4192098780_3536714472(IEEE_P_3499444699, t29, t3, t4);
1500  t31 = (t17 + 56U);
1501  t32 = *((char**)t31);
1502  t31 = (t32 + 0);
1503  t33 = (t29 + 12U);
1504  t19 = *((unsigned int*)t33);
1505  t34 = (1U * t19);
1506  memcpy(t31, t30, t34);
1507  t7 = (t17 + 56U);
1508  t10 = *((char**)t7);
1509  t7 = (t9 + 12U);
1510  t8 = *((unsigned int*)t7);
1511  t8 = (t8 * 1U);
1512  t0 = xsi_get_transient_memory(t8);
1513  memcpy(t0, t10, t8);
1514  t12 = (t9 + 0U);
1515  t11 = *((int*)t12);
1516  t14 = (t9 + 4U);
1517  t13 = *((int*)t14);
1518  t16 = (t9 + 8U);
1519  t15 = *((int*)t16);
1520  t20 = (t2 + 0U);
1521  t21 = (t20 + 0U);
1522  *((int*)t21) = t11;
1523  t21 = (t20 + 4U);
1524  *((int*)t21) = t13;
1525  t21 = (t20 + 8U);
1526  *((int*)t21) = t15;
1527  t18 = (t13 - t11);
1528  t19 = (t18 * t15);
1529  t19 = (t19 + 1);
1530  t21 = (t20 + 12U);
1531  *((unsigned int*)t21) = t19;
1532 
1533 LAB1:
1534  return t0;
1535 LAB3:
1536  *((char**)t26) = t3;
1537  goto LAB2;
1538 
1539 LAB4:;
1540 }
1541 
1542 char* ieee_p_3620187407_sub_767632659_3965413181(
1543  char* t1, char* t2, char* t3, char* t4, char* t5, char* t6)
1544 {
1545  char t7[248];
1546  char t8[40];
1547  char t17[8];
1548  char t28[16];
1549  char t51[16];
1550  char* t0;
1551  char* t9;
1552  unsigned int t10;
1553  char* t11;
1554  unsigned int t12;
1555  int t13;
1556  char* t14;
1557  char* t15;
1558  char* t16;
1559  char* t18;
1560  char* t19;
1561  char* t20;
1562  unsigned int t21;
1563  char* t22;
1564  unsigned int t23;
1565  int t24;
1566  int t25;
1567  int t26;
1568  unsigned int t27;
1569  char* t29;
1570  unsigned int t30;
1571  char* t31;
1572  unsigned int t32;
1573  int t33;
1574  int t34;
1575  char* t35;
1576  char* t36;
1577  int t37;
1578  unsigned int t38;
1579  char* t39;
1580  char* t40;
1581  char* t41;
1582  char* t42;
1583  char* t43;
1584  char* t44;
1585  char* t45;
1586  unsigned char t46;
1587  char* t47;
1588  char* t48;
1589  unsigned char t49;
1590  char* t50;
1591  char* t52;
1592  char* t53;
1593  char* t54;
1594  char* t55;
1595  unsigned int t56;
1596 
1597 LAB0:
1598  t9 = (t4 + 12U);
1599  t10 = *((unsigned int*)t9);
1600  t11 = (t6 + 12U);
1601  t12 = *((unsigned int*)t11);
1602  t13 = ieee_p_3620187407_sub_3716635170_3965413181(t1, ((t10)), ((t12)));
1603  t14 = (t7 + 4U);
1604  t15 = ((STD_STANDARD) + 384);
1605  t16 = (t14 + 88U);
1606  *((char**)t16) = t15;
1607  t18 = (t14 + 56U);
1608  *((char**)t18) = t17;
1609  *((int*)t17) = t13;
1610  t19 = (t14 + 80U);
1611  *((unsigned int*)t19) = 4U;
1612  t20 = (t4 + 12U);
1613  t21 = *((unsigned int*)t20);
1614  t22 = (t6 + 12U);
1615  t23 = *((unsigned int*)t22);
1616  t24 = (t21 + t23);
1617  t25 = (t24 - 1);
1618  t26 = (0 - t25);
1619  t27 = (t26 * -1);
1620  t27 = (t27 + 1);
1621  t27 = (t27 * 1U);
1622  t29 = (t4 + 12U);
1623  t30 = *((unsigned int*)t29);
1624  t31 = (t6 + 12U);
1625  t32 = *((unsigned int*)t31);
1626  t33 = (t30 + t32);
1627  t34 = (t33 - 1);
1628  t35 = (t28 + 0U);
1629  t36 = (t35 + 0U);
1630  *((int*)t36) = t34;
1631  t36 = (t35 + 4U);
1632  *((int*)t36) = 0;
1633  t36 = (t35 + 8U);
1634  *((int*)t36) = -1;
1635  t37 = (0 - t34);
1636  t38 = (t37 * -1);
1637  t38 = (t38 + 1);
1638  t36 = (t35 + 12U);
1639  *((unsigned int*)t36) = t38;
1640  t36 = (t7 + 124U);
1641  t39 = ((IEEE_P_2592010699) + 4024);
1642  t40 = (t36 + 88U);
1643  *((char**)t40) = t39;
1644  t41 = (char*)alloca(t27);
1645  t42 = (t36 + 56U);
1646  *((char**)t42) = t41;
1647  xsi_type_set_default_value(t39, t41, t28);
1648  t43 = (t36 + 64U);
1649  *((char**)t43) = t28;
1650  t44 = (t36 + 80U);
1651  *((unsigned int*)t44) = t27;
1652  t45 = (t8 + 4U);
1653  t46 = (t3 != 0);
1654  if(t46 == 1)
1655  goto LAB3;
1656 
1657 LAB2:
1658  t47 = (t8 + 12U);
1659  *((char**)t47) = t4;
1660  t48 = (t8 + 20U);
1661  t49 = (t5 != 0);
1662  if(t49 == 1)
1663  goto LAB5;
1664 
1665 LAB4:
1666  t50 = (t8 + 28U);
1667  *((char**)t50) = t6;
1668  t52 = ieee_p_3499444699_sub_173946173_3536714472(
1669  IEEE_P_3499444699, t51, t3, t4, t5, t6);
1670  t53 = (t36 + 56U);
1671  t54 = *((char**)t53);
1672  t53 = (t54 + 0);
1673  t55 = (t51 + 12U);
1674  t38 = *((unsigned int*)t55);
1675  t56 = (1U * t38);
1676  memcpy(t53, t52, t56);
1677  t9 = (t36 + 56U);
1678  t11 = *((char**)t9);
1679  t9 = (t28 + 12U);
1680  t10 = *((unsigned int*)t9);
1681  t10 = (t10 * 1U);
1682  t0 = xsi_get_transient_memory(t10);
1683  memcpy(t0, t11, t10);
1684  t15 = (t28 + 0U);
1685  t13 = *((int*)t15);
1686  t16 = (t28 + 4U);
1687  t24 = *((int*)t16);
1688  t18 = (t28 + 8U);
1689  t25 = *((int*)t18);
1690  t19 = (t2 + 0U);
1691  t20 = (t19 + 0U);
1692  *((int*)t20) = t13;
1693  t20 = (t19 + 4U);
1694  *((int*)t20) = t24;
1695  t20 = (t19 + 8U);
1696  *((int*)t20) = t25;
1697  t26 = (t24 - t13);
1698  t12 = (t26 * t25);
1699  t12 = (t12 + 1);
1700  t20 = (t19 + 12U);
1701  *((unsigned int*)t20) = t12;
1702 
1703 LAB1:
1704  return t0;
1705 LAB3:
1706  *((char**)t45) = t3;
1707  goto LAB2;
1708 
1709 LAB5:
1710  *((char**)t48) = t5;
1711  goto LAB4;
1712 
1713 LAB6:;
1714 }
1715 
1716 unsigned char ieee_p_3620187407_sub_1742983514_3965413181(
1717  char* t1, char* t2, char* t3, char* t4, char* t5)
1718 {
1719  char t6[128];
1720  char t7[40];
1721  char t16[8];
1722  unsigned char t0;
1723  char* t8;
1724  unsigned int t9;
1725  char* t10;
1726  unsigned int t11;
1727  int t12;
1728  char* t13;
1729  char* t14;
1730  char* t15;
1731  char* t17;
1732  char* t18;
1733  char* t19;
1734  unsigned char t20;
1735  char* t21;
1736  char* t22;
1737  unsigned char t23;
1738  char* t24;
1739  unsigned char t25;
1740 
1741 LAB0:
1742  t8 = (t3 + 12U);
1743  t9 = *((unsigned int*)t8);
1744  t10 = (t5 + 12U);
1745  t11 = *((unsigned int*)t10);
1746  t12 = ieee_p_3620187407_sub_3716635170_3965413181(t1, ((t9)), ((t11)));
1747  t13 = (t6 + 4U);
1748  t14 = ((STD_STANDARD) + 384);
1749  t15 = (t13 + 88U);
1750  *((char**)t15) = t14;
1751  t17 = (t13 + 56U);
1752  *((char**)t17) = t16;
1753  *((int*)t16) = t12;
1754  t18 = (t13 + 80U);
1755  *((unsigned int*)t18) = 4U;
1756  t19 = (t7 + 4U);
1757  t20 = (t2 != 0);
1758  if(t20 == 1)
1759  goto LAB3;
1760 
1761 LAB2:
1762  t21 = (t7 + 12U);
1763  *((char**)t21) = t3;
1764  t22 = (t7 + 20U);
1765  t23 = (t4 != 0);
1766  if(t23 == 1)
1767  goto LAB5;
1768 
1769 LAB4:
1770  t24 = (t7 + 28U);
1771  *((char**)t24) = t5;
1772  t25 = ieee_p_3499444699_sub_2591093089_3536714472(IEEE_P_3499444699, t2, t3, t4, t5);
1773  t0 = t25;
1774 
1775 LAB1:
1776  return t0;
1777 LAB3:
1778  *((char**)t19) = t2;
1779  goto LAB2;
1780 
1781 LAB5:
1782  *((char**)t22) = t4;
1783  goto LAB4;
1784 
1785 LAB6:;
1786 }
1787 
1788 unsigned char ieee_p_3620187407_sub_2546382208_3965413181(char* t1,
1789  char* t2,
1790  char* t3,
1791  int t4)
1792 {
1793  char t6[24];
1794  unsigned char t0;
1795  char* t7;
1796  unsigned char t8;
1797  char* t9;
1798  char* t10;
1799  unsigned char t11;
1800 
1801 LAB0:
1802  t7 = (t6 + 4U);
1803  t8 = (t2 != 0);
1804  if(t8 == 1)
1805  goto LAB3;
1806 
1807 LAB2:
1808  t9 = (t6 + 12U);
1809  *((char**)t9) = t3;
1810  t10 = (t6 + 20U);
1811  *((int*)t10) = t4;
1812  t11 = ieee_p_3499444699_sub_2368579451_3536714472(IEEE_P_3499444699, t2, t3, t4);
1813  t0 = t11;
1814 
1815 LAB1:
1816  return t0;
1817 LAB3:
1818  *((char**)t7) = t2;
1819  goto LAB2;
1820 
1821 LAB4:;
1822 }
1823 
1824 unsigned char ieee_p_3620187407_sub_2599083972_3965413181(char* t1,
1825  int t2,
1826  char* t3,
1827  char* t4)
1828 {
1829  char t6[24];
1830  unsigned char t0;
1831  char* t7;
1832  char* t8;
1833  unsigned char t9;
1834  char* t10;
1835  unsigned char t11;
1836 
1837 LAB0:
1838  t7 = (t6 + 4U);
1839  *((int*)t7) = t2;
1840  t8 = (t6 + 8U);
1841  t9 = (t3 != 0);
1842  if(t9 == 1)
1843  goto LAB3;
1844 
1845 LAB2:
1846  t10 = (t6 + 16U);
1847  *((char**)t10) = t4;
1848  t11 = ieee_p_3499444699_sub_2235775063_3536714472(IEEE_P_3499444699, t2, t3, t4);
1849  t0 = t11;
1850 
1851 LAB1:
1852  return t0;
1853 LAB3:
1854  *((char**)t8) = t3;
1855  goto LAB2;
1856 
1857 LAB4:;
1858 }
1859 
1860 unsigned char ieee_p_3620187407_sub_4058165771_3965413181(
1861  char* t1, char* t2, char* t3, char* t4, char* t5)
1862 {
1863  char t7[40];
1864  unsigned char t0;
1865  char* t8;
1866  unsigned char t9;
1867  char* t10;
1868  char* t11;
1869  unsigned char t12;
1870  char* t13;
1871  unsigned char t14;
1872 
1873 LAB0:
1874  t8 = (t7 + 4U);
1875  t9 = (t2 != 0);
1876  if(t9 == 1)
1877  goto LAB3;
1878 
1879 LAB2:
1880  t10 = (t7 + 12U);
1881  *((char**)t10) = t3;
1882  t11 = (t7 + 20U);
1883  t12 = (t4 != 0);
1884  if(t12 == 1)
1885  goto LAB5;
1886 
1887 LAB4:
1888  t13 = (t7 + 28U);
1889  *((char**)t13) = t5;
1890  t14 = ieee_p_3499444699_sub_3950470366_3536714472(IEEE_P_3499444699, t2, t3, t4, t5);
1891  t0 = t14;
1892 
1893 LAB1:
1894  return t0;
1895 LAB3:
1896  *((char**)t8) = t2;
1897  goto LAB2;
1898 
1899 LAB5:
1900  *((char**)t11) = t4;
1901  goto LAB4;
1902 
1903 LAB6:;
1904 }
1905 
1906 unsigned char ieee_p_3620187407_sub_3905759485_3965413181(char* t1,
1907  char* t2,
1908  char* t3,
1909  int t4)
1910 {
1911  char t6[24];
1912  unsigned char t0;
1913  char* t7;
1914  unsigned char t8;
1915  char* t9;
1916  char* t10;
1917  unsigned char t11;
1918 
1919 LAB0:
1920  t7 = (t6 + 4U);
1921  t8 = (t2 != 0);
1922  if(t8 == 1)
1923  goto LAB3;
1924 
1925 LAB2:
1926  t9 = (t6 + 12U);
1927  *((char**)t9) = t3;
1928  t10 = (t6 + 20U);
1929  *((int*)t10) = t4;
1930  t11 = ieee_p_3499444699_sub_3727956728_3536714472(IEEE_P_3499444699, t2, t3, t4);
1931  t0 = t11;
1932 
1933 LAB1:
1934  return t0;
1935 LAB3:
1936  *((char**)t7) = t2;
1937  goto LAB2;
1938 
1939 LAB4:;
1940 }
1941 
1942 unsigned char ieee_p_3620187407_sub_3958461249_3965413181(char* t1,
1943  int t2,
1944  char* t3,
1945  char* t4)
1946 {
1947  char t6[24];
1948  unsigned char t0;
1949  char* t7;
1950  char* t8;
1951  unsigned char t9;
1952  char* t10;
1953  unsigned char t11;
1954 
1955 LAB0:
1956  t7 = (t6 + 4U);
1957  *((int*)t7) = t2;
1958  t8 = (t6 + 8U);
1959  t9 = (t3 != 0);
1960  if(t9 == 1)
1961  goto LAB3;
1962 
1963 LAB2:
1964  t10 = (t6 + 16U);
1965  *((char**)t10) = t4;
1966  t11 = ieee_p_3499444699_sub_3595152340_3536714472(IEEE_P_3499444699, t2, t3, t4);
1967  t0 = t11;
1968 
1969 LAB1:
1970  return t0;
1971 LAB3:
1972  *((char**)t8) = t3;
1973  goto LAB2;
1974 
1975 LAB4:;
1976 }
1977 
1978 unsigned char ieee_p_3620187407_sub_2698860368_3965413181(
1979  char* t1, char* t2, char* t3, char* t4, char* t5)
1980 {
1981  char t7[40];
1982  unsigned char t0;
1983  char* t8;
1984  unsigned char t9;
1985  char* t10;
1986  char* t11;
1987  unsigned char t12;
1988  char* t13;
1989  unsigned char t14;
1990 
1991 LAB0:
1992  t8 = (t7 + 4U);
1993  t9 = (t2 != 0);
1994  if(t9 == 1)
1995  goto LAB3;
1996 
1997 LAB2:
1998  t10 = (t7 + 12U);
1999  *((char**)t10) = t3;
2000  t11 = (t7 + 20U);
2001  t12 = (t4 != 0);
2002  if(t12 == 1)
2003  goto LAB5;
2004 
2005 LAB4:
2006  t13 = (t7 + 28U);
2007  *((char**)t13) = t5;
2008  t14 =
2009  ieee_std_logic_arith_greater_unsigned_unsigned(IEEE_P_3499444699, t2, t3, t4, t5);
2010  t0 = t14;
2011 
2012 LAB1:
2013  return t0;
2014 LAB3:
2015  *((char**)t8) = t2;
2016  goto LAB2;
2017 
2018 LAB5:
2019  *((char**)t11) = t4;
2020  goto LAB4;
2021 
2022 LAB6:;
2023 }
2024 
2025 unsigned char ieee_p_3620187407_sub_2546454082_3965413181(char* t1,
2026  char* t2,
2027  char* t3,
2028  int t4)
2029 {
2030  char t6[24];
2031  unsigned char t0;
2032  char* t7;
2033  unsigned char t8;
2034  char* t9;
2035  char* t10;
2036  unsigned char t11;
2037 
2038 LAB0:
2039  t7 = (t6 + 4U);
2040  t8 = (t2 != 0);
2041  if(t8 == 1)
2042  goto LAB3;
2043 
2044 LAB2:
2045  t9 = (t6 + 12U);
2046  *((char**)t9) = t3;
2047  t10 = (t6 + 20U);
2048  *((int*)t10) = t4;
2049  t11 = ieee_p_3499444699_sub_2368651325_3536714472(IEEE_P_3499444699, t2, t3, t4);
2050  t0 = t11;
2051 
2052 LAB1:
2053  return t0;
2054 LAB3:
2055  *((char**)t7) = t2;
2056  goto LAB2;
2057 
2058 LAB4:;
2059 }
2060 
2061 unsigned char ieee_p_3620187407_sub_2599155846_3965413181(char* t1,
2062  int t2,
2063  char* t3,
2064  char* t4)
2065 {
2066  char t6[24];
2067  unsigned char t0;
2068  char* t7;
2069  char* t8;
2070  unsigned char t9;
2071  char* t10;
2072  unsigned char t11;
2073 
2074 LAB0:
2075  t7 = (t6 + 4U);
2076  *((int*)t7) = t2;
2077  t8 = (t6 + 8U);
2078  t9 = (t3 != 0);
2079  if(t9 == 1)
2080  goto LAB3;
2081 
2082 LAB2:
2083  t10 = (t6 + 16U);
2084  *((char**)t10) = t4;
2085  t11 = ieee_p_3499444699_sub_2235846937_3536714472(IEEE_P_3499444699, t2, t3, t4);
2086  t0 = t11;
2087 
2088 LAB1:
2089  return t0;
2090 LAB3:
2091  *((char**)t8) = t3;
2092  goto LAB2;
2093 
2094 LAB4:;
2095 }
2096 
2097 unsigned char ieee_p_3620187407_sub_4060537613_3965413181(
2098  char* t1, char* t2, char* t3, char* t4, char* t5)
2099 {
2100  char t7[40];
2101  unsigned char t0;
2102  char* t8;
2103  unsigned char t9;
2104  char* t10;
2105  char* t11;
2106  unsigned char t12;
2107  char* t13;
2108  unsigned char t14;
2109 
2110 LAB0:
2111  t8 = (t7 + 4U);
2112  t9 = (t2 != 0);
2113  if(t9 == 1)
2114  goto LAB3;
2115 
2116 LAB2:
2117  t10 = (t7 + 12U);
2118  *((char**)t10) = t3;
2119  t11 = (t7 + 20U);
2120  t12 = (t4 != 0);
2121  if(t12 == 1)
2122  goto LAB5;
2123 
2124 LAB4:
2125  t13 = (t7 + 28U);
2126  *((char**)t13) = t5;
2127  t14 = ieee_p_3499444699_sub_3952842208_3536714472(IEEE_P_3499444699, t2, t3, t4, t5);
2128  t0 = t14;
2129 
2130 LAB1:
2131  return t0;
2132 LAB3:
2133  *((char**)t8) = t2;
2134  goto LAB2;
2135 
2136 LAB5:
2137  *((char**)t11) = t4;
2138  goto LAB4;
2139 
2140 LAB6:;
2141 }
2142 
2143 unsigned char ieee_p_3620187407_sub_3908131327_3965413181(char* t1,
2144  char* t2,
2145  char* t3,
2146  int t4)
2147 {
2148  char t6[24];
2149  unsigned char t0;
2150  char* t7;
2151  unsigned char t8;
2152  char* t9;
2153  char* t10;
2154  unsigned char t11;
2155 
2156 LAB0:
2157  t7 = (t6 + 4U);
2158  t8 = (t2 != 0);
2159  if(t8 == 1)
2160  goto LAB3;
2161 
2162 LAB2:
2163  t9 = (t6 + 12U);
2164  *((char**)t9) = t3;
2165  t10 = (t6 + 20U);
2166  *((int*)t10) = t4;
2167  t11 = ieee_p_3499444699_sub_3730328570_3536714472(IEEE_P_3499444699, t2, t3, t4);
2168  t0 = t11;
2169 
2170 LAB1:
2171  return t0;
2172 LAB3:
2173  *((char**)t7) = t2;
2174  goto LAB2;
2175 
2176 LAB4:;
2177 }
2178 
2179 unsigned char ieee_p_3620187407_sub_3960833091_3965413181(char* t1,
2180  int t2,
2181  char* t3,
2182  char* t4)
2183 {
2184  char t6[24];
2185  unsigned char t0;
2186  char* t7;
2187  char* t8;
2188  unsigned char t9;
2189  char* t10;
2190  unsigned char t11;
2191 
2192 LAB0:
2193  t7 = (t6 + 4U);
2194  *((int*)t7) = t2;
2195  t8 = (t6 + 8U);
2196  t9 = (t3 != 0);
2197  if(t9 == 1)
2198  goto LAB3;
2199 
2200 LAB2:
2201  t10 = (t6 + 16U);
2202  *((char**)t10) = t4;
2203  t11 = ieee_p_3499444699_sub_3597524182_3536714472(IEEE_P_3499444699, t2, t3, t4);
2204  t0 = t11;
2205 
2206 LAB1:
2207  return t0;
2208 LAB3:
2209  *((char**)t8) = t3;
2210  goto LAB2;
2211 
2212 LAB4:;
2213 }
2214 
2215 unsigned char ieee_p_3620187407_sub_2698824431_3965413181(
2216  char* t1, char* t2, char* t3, char* t4, char* t5)
2217 {
2218  char t7[40];
2219  unsigned char t0;
2220  char* t8;
2221  unsigned char t9;
2222  char* t10;
2223  char* t11;
2224  unsigned char t12;
2225  char* t13;
2226  unsigned char t14;
2227 
2228 LAB0:
2229  t8 = (t7 + 4U);
2230  t9 = (t2 != 0);
2231  if(t9 == 1)
2232  goto LAB3;
2233 
2234 LAB2:
2235  t10 = (t7 + 12U);
2236  *((char**)t10) = t3;
2237  t11 = (t7 + 20U);
2238  t12 = (t4 != 0);
2239  if(t12 == 1)
2240  goto LAB5;
2241 
2242 LAB4:
2243  t13 = (t7 + 28U);
2244  *((char**)t13) = t5;
2245  t14 = ieee_std_logic_arith_equal_unsigned_unsigned(IEEE_P_3499444699, t2, t3, t4, t5);
2246  t0 = t14;
2247 
2248 LAB1:
2249  return t0;
2250 LAB3:
2251  *((char**)t8) = t2;
2252  goto LAB2;
2253 
2254 LAB5:
2255  *((char**)t11) = t4;
2256  goto LAB4;
2257 
2258 LAB6:;
2259 }
2260 
2261 unsigned char ieee_p_3620187407_sub_2546418145_3965413181(char* t1,
2262  char* t2,
2263  char* t3,
2264  int t4)
2265 {
2266  char t6[24];
2267  unsigned char t0;
2268  char* t7;
2269  unsigned char t8;
2270  char* t9;
2271  char* t10;
2272  unsigned char t11;
2273 
2274 LAB0:
2275  t7 = (t6 + 4U);
2276  t8 = (t2 != 0);
2277  if(t8 == 1)
2278  goto LAB3;
2279 
2280 LAB2:
2281  t9 = (t6 + 12U);
2282  *((char**)t9) = t3;
2283  t10 = (t6 + 20U);
2284  *((int*)t10) = t4;
2285  t11 = ieee_p_3499444699_sub_2368615388_3536714472(IEEE_P_3499444699, t2, t3, t4);
2286  t0 = t11;
2287 
2288 LAB1:
2289  return t0;
2290 LAB3:
2291  *((char**)t7) = t2;
2292  goto LAB2;
2293 
2294 LAB4:;
2295 }
2296 
2297 unsigned char ieee_p_3620187407_sub_2599119909_3965413181(char* t1,
2298  int t2,
2299  char* t3,
2300  char* t4)
2301 {
2302  char t6[24];
2303  unsigned char t0;
2304  char* t7;
2305  char* t8;
2306  unsigned char t9;
2307  char* t10;
2308  unsigned char t11;
2309 
2310 LAB0:
2311  t7 = (t6 + 4U);
2312  *((int*)t7) = t2;
2313  t8 = (t6 + 8U);
2314  t9 = (t3 != 0);
2315  if(t9 == 1)
2316  goto LAB3;
2317 
2318 LAB2:
2319  t10 = (t6 + 16U);
2320  *((char**)t10) = t4;
2321  t11 = ieee_p_3499444699_sub_2235811000_3536714472(IEEE_P_3499444699, t2, t3, t4);
2322  t0 = t11;
2323 
2324 LAB1:
2325  return t0;
2326 LAB3:
2327  *((char**)t8) = t3;
2328  goto LAB2;
2329 
2330 LAB4:;
2331 }
2332 
2333 unsigned char ieee_p_3620187407_sub_4042748798_3965413181(
2334  char* t1, char* t2, char* t3, char* t4, char* t5)
2335 {
2336  char t7[40];
2337  unsigned char t0;
2338  char* t8;
2339  unsigned char t9;
2340  char* t10;
2341  char* t11;
2342  unsigned char t12;
2343  char* t13;
2344  unsigned char t14;
2345 
2346 LAB0:
2347  t8 = (t7 + 4U);
2348  t9 = (t2 != 0);
2349  if(t9 == 1)
2350  goto LAB3;
2351 
2352 LAB2:
2353  t10 = (t7 + 12U);
2354  *((char**)t10) = t3;
2355  t11 = (t7 + 20U);
2356  t12 = (t4 != 0);
2357  if(t12 == 1)
2358  goto LAB5;
2359 
2360 LAB4:
2361  t13 = (t7 + 28U);
2362  *((char**)t13) = t5;
2363  t14 = ieee_p_3499444699_sub_3935053393_3536714472(IEEE_P_3499444699, t2, t3, t4, t5);
2364  t0 = t14;
2365 
2366 LAB1:
2367  return t0;
2368 LAB3:
2369  *((char**)t8) = t2;
2370  goto LAB2;
2371 
2372 LAB5:
2373  *((char**)t11) = t4;
2374  goto LAB4;
2375 
2376 LAB6:;
2377 }
2378 
2379 unsigned char ieee_p_3620187407_sub_3890342512_3965413181(char* t1,
2380  char* t2,
2381  char* t3,
2382  int t4)
2383 {
2384  char t6[24];
2385  unsigned char t0;
2386  char* t7;
2387  unsigned char t8;
2388  char* t9;
2389  char* t10;
2390  unsigned char t11;
2391 
2392 LAB0:
2393  t7 = (t6 + 4U);
2394  t8 = (t2 != 0);
2395  if(t8 == 1)
2396  goto LAB3;
2397 
2398 LAB2:
2399  t9 = (t6 + 12U);
2400  *((char**)t9) = t3;
2401  t10 = (t6 + 20U);
2402  *((int*)t10) = t4;
2403  t11 = ieee_p_3499444699_sub_3712539755_3536714472(IEEE_P_3499444699, t2, t3, t4);
2404  t0 = t11;
2405 
2406 LAB1:
2407  return t0;
2408 LAB3:
2409  *((char**)t7) = t2;
2410  goto LAB2;
2411 
2412 LAB4:;
2413 }
2414 
2415 unsigned char ieee_p_3620187407_sub_3943044276_3965413181(char* t1,
2416  int t2,
2417  char* t3,
2418  char* t4)
2419 {
2420  char t6[24];
2421  unsigned char t0;
2422  char* t7;
2423  char* t8;
2424  unsigned char t9;
2425  char* t10;
2426  unsigned char t11;
2427 
2428 LAB0:
2429  t7 = (t6 + 4U);
2430  *((int*)t7) = t2;
2431  t8 = (t6 + 8U);
2432  t9 = (t3 != 0);
2433  if(t9 == 1)
2434  goto LAB3;
2435 
2436 LAB2:
2437  t10 = (t6 + 16U);
2438  *((char**)t10) = t4;
2439  t11 = ieee_p_3499444699_sub_3579735367_3536714472(IEEE_P_3499444699, t2, t3, t4);
2440  t0 = t11;
2441 
2442 LAB1:
2443  return t0;
2444 LAB3:
2445  *((char**)t8) = t3;
2446  goto LAB2;
2447 
2448 LAB4:;
2449 }
2450 
2451 int ieee_p_3620187407_sub_514432868_3965413181(char* t1, char* t2, char* t3)
2452 {
2453  char t4[128];
2454  char t5[24];
2455  char t8[16];
2456  int t0;
2457  char* t6;
2458  unsigned int t7;
2459  char* t9;
2460  int t10;
2461  char* t11;
2462  int t12;
2463  char* t13;
2464  int t14;
2465  char* t15;
2466  char* t16;
2467  int t17;
2468  unsigned int t18;
2469  char* t19;
2470  char* t20;
2471  char* t21;
2472  char* t22;
2473  char* t23;
2474  char* t24;
2475  char* t25;
2476  unsigned char t26;
2477  char* t27;
2478  char* t28;
2479  char* t29;
2480  char* t30;
2481 
2482 LAB0:
2483  t6 = (t3 + 12U);
2484  t7 = *((unsigned int*)t6);
2485  t7 = (t7 * 1U);
2486  t9 = (t3 + 0U);
2487  t10 = *((int*)t9);
2488  t11 = (t3 + 4U);
2489  t12 = *((int*)t11);
2490  t13 = (t3 + 8U);
2491  t14 = *((int*)t13);
2492  t15 = (t8 + 0U);
2493  t16 = (t15 + 0U);
2494  *((int*)t16) = t10;
2495  t16 = (t15 + 4U);
2496  *((int*)t16) = t12;
2497  t16 = (t15 + 8U);
2498  *((int*)t16) = t14;
2499  t17 = (t12 - t10);
2500  t18 = (t17 * t14);
2501  t18 = (t18 + 1);
2502  t16 = (t15 + 12U);
2503  *((unsigned int*)t16) = t18;
2504  t16 = (t4 + 4U);
2505  t19 = ((IEEE_P_3499444699) + 2616);
2506  t20 = (t16 + 88U);
2507  *((char**)t20) = t19;
2508  t21 = (char*)alloca(t7);
2509  t22 = (t16 + 56U);
2510  *((char**)t22) = t21;
2511  xsi_type_set_default_value(t19, t21, t8);
2512  t23 = (t16 + 64U);
2513  *((char**)t23) = t8;
2514  t24 = (t16 + 80U);
2515  *((unsigned int*)t24) = t7;
2516  t25 = (t5 + 4U);
2517  t26 = (t2 != 0);
2518  if(t26 == 1)
2519  goto LAB3;
2520 
2521 LAB2:
2522  t27 = (t5 + 12U);
2523  *((char**)t27) = t3;
2524  t28 = (t16 + 56U);
2525  t29 = *((char**)t28);
2526  t28 = (t29 + 0);
2527  t30 = (t3 + 12U);
2528  t18 = *((unsigned int*)t30);
2529  t18 = (t18 * 1U);
2530  memcpy(t28, t2, t18);
2531  t6 = (t16 + 56U);
2532  t9 = *((char**)t6);
2533  t10 = ieee_std_logic_arith_conv_integer_unsigned(IEEE_P_3499444699, t9, t8);
2534  t0 = t10;
2535 
2536 LAB1:
2537  return t0;
2538 LAB3:
2539  *((char**)t25) = t2;
2540  goto LAB2;
2541 
2542 LAB4:;
2543 }
2544 
2545 char* ieee_p_3620187407_sub_121739838_3965413181(
2546  char* t1, char* t2, char* t3, char* t4, char* t5, char* t6)
2547 {
2548  char t8[40];
2549  char t15[16];
2550  char* t0;
2551  char* t9;
2552  unsigned char t10;
2553  char* t11;
2554  char* t12;
2555  unsigned char t13;
2556  char* t14;
2557  char* t16;
2558  char* t17;
2559  unsigned int t18;
2560  char* t19;
2561  int t20;
2562  char* t21;
2563  int t22;
2564  char* t23;
2565  int t24;
2566  char* t25;
2567  char* t26;
2568  int t27;
2569  unsigned int t28;
2570 
2571 LAB0:
2572  t9 = (t8 + 4U);
2573  t10 = (t3 != 0);
2574  if(t10 == 1)
2575  goto LAB3;
2576 
2577 LAB2:
2578  t11 = (t8 + 12U);
2579  *((char**)t11) = t4;
2580  t12 = (t8 + 20U);
2581  t13 = (t5 != 0);
2582  if(t13 == 1)
2583  goto LAB5;
2584 
2585 LAB4:
2586  t14 = (t8 + 28U);
2587  *((char**)t14) = t6;
2588  t16 = ieee_p_3499444699_sub_1904283970_3536714472(
2589  IEEE_P_3499444699, t15, t3, t4, t5, t6);
2590  t17 = (t15 + 12U);
2591  t18 = *((unsigned int*)t17);
2592  t18 = (t18 * 1U);
2593  t0 = xsi_get_transient_memory(t18);
2594  memcpy(t0, t16, t18);
2595  t19 = (t15 + 0U);
2596  t20 = *((int*)t19);
2597  t21 = (t15 + 4U);
2598  t22 = *((int*)t21);
2599  t23 = (t15 + 8U);
2600  t24 = *((int*)t23);
2601  t25 = (t2 + 0U);
2602  t26 = (t25 + 0U);
2603  *((int*)t26) = t20;
2604  t26 = (t25 + 4U);
2605  *((int*)t26) = t22;
2606  t26 = (t25 + 8U);
2607  *((int*)t26) = t24;
2608  t27 = (t22 - t20);
2609  t28 = (t27 * t24);
2610  t28 = (t28 + 1);
2611  t26 = (t25 + 12U);
2612  *((unsigned int*)t26) = t28;
2613 
2614 LAB1:
2615  return t0;
2616 LAB3:
2617  *((char**)t9) = t3;
2618  goto LAB2;
2619 
2620 LAB5:
2621  *((char**)t12) = t5;
2622  goto LAB4;
2623 
2624 LAB6:;
2625 }
2626 
2627 char* ieee_p_3620187407_sub_121746372_3965413181(
2628  char* t1, char* t2, char* t3, char* t4, char* t5, char* t6)
2629 {
2630  char t8[40];
2631  char t15[16];
2632  char* t0;
2633  char* t9;
2634  unsigned char t10;
2635  char* t11;
2636  char* t12;
2637  unsigned char t13;
2638  char* t14;
2639  char* t16;
2640  char* t17;
2641  unsigned int t18;
2642  char* t19;
2643  int t20;
2644  char* t21;
2645  int t22;
2646  char* t23;
2647  int t24;
2648  char* t25;
2649  char* t26;
2650  int t27;
2651  unsigned int t28;
2652 
2653 LAB0:
2654  t9 = (t8 + 4U);
2655  t10 = (t3 != 0);
2656  if(t10 == 1)
2657  goto LAB3;
2658 
2659 LAB2:
2660  t11 = (t8 + 12U);
2661  *((char**)t11) = t4;
2662  t12 = (t8 + 20U);
2663  t13 = (t5 != 0);
2664  if(t13 == 1)
2665  goto LAB5;
2666 
2667 LAB4:
2668  t14 = (t8 + 28U);
2669  *((char**)t14) = t6;
2670  t16 = ieee_p_3499444699_sub_1775521082_3536714472(
2671  IEEE_P_3499444699, t15, t3, t4, t5, t6);
2672  t17 = (t15 + 12U);
2673  t18 = *((unsigned int*)t17);
2674  t18 = (t18 * 1U);
2675  t0 = xsi_get_transient_memory(t18);
2676  memcpy(t0, t16, t18);
2677  t19 = (t15 + 0U);
2678  t20 = *((int*)t19);
2679  t21 = (t15 + 4U);
2680  t22 = *((int*)t21);
2681  t23 = (t15 + 8U);
2682  t24 = *((int*)t23);
2683  t25 = (t2 + 0U);
2684  t26 = (t25 + 0U);
2685  *((int*)t26) = t20;
2686  t26 = (t25 + 4U);
2687  *((int*)t26) = t22;
2688  t26 = (t25 + 8U);
2689  *((int*)t26) = t24;
2690  t27 = (t22 - t20);
2691  t28 = (t27 * t24);
2692  t28 = (t28 + 1);
2693  t26 = (t25 + 12U);
2694  *((unsigned int*)t26) = t28;
2695 
2696 LAB1:
2697  return t0;
2698 LAB3:
2699  *((char**)t9) = t3;
2700  goto LAB2;
2701 
2702 LAB5:
2703  *((char**)t12) = t5;
2704  goto LAB4;
2705 
2706 LAB6:;
2707 }
2708 
2709 extern void ieee_p_3620187407_init()
2710 {
2711  static char* se[] = {(void*)ieee_p_3620187407_sub_3716635170_3965413181,
2712  (void*)ieee_p_3620187407_sub_767668596_3965413181,
2713  (void*)ieee_p_3620187407_sub_436279890_3965413181,
2714  (void*)ieee_p_3620187407_sub_27954454_3965413181,
2715  (void*)ieee_p_3620187407_sub_674691591_3965413181,
2716  (void*)ieee_p_3620187407_sub_4129134319_3965413181,
2717  (void*)ieee_p_3620187407_sub_767740470_3965413181,
2718  (void*)ieee_p_3620187407_sub_436351764_3965413181,
2719  (void*)ieee_p_3620187407_sub_28026328_3965413181,
2720  (void*)ieee_p_3620187407_sub_674763465_3965413181,
2721  (void*)ieee_p_3620187407_sub_4129206193_3965413181,
2722  (void*)ieee_p_3620187407_sub_4132103718_3965413181,
2723  (void*)ieee_p_3620187407_sub_767632659_3965413181,
2724  (void*)ieee_p_3620187407_sub_1742983514_3965413181,
2725  (void*)ieee_p_3620187407_sub_2546382208_3965413181,
2726  (void*)ieee_p_3620187407_sub_2599083972_3965413181,
2727  (void*)ieee_p_3620187407_sub_4058165771_3965413181,
2728  (void*)ieee_p_3620187407_sub_3905759485_3965413181,
2729  (void*)ieee_p_3620187407_sub_3958461249_3965413181,
2730  (void*)ieee_p_3620187407_sub_2698860368_3965413181,
2731  (void*)ieee_p_3620187407_sub_2546454082_3965413181,
2732  (void*)ieee_p_3620187407_sub_2599155846_3965413181,
2733  (void*)ieee_p_3620187407_sub_4060537613_3965413181,
2734  (void*)ieee_p_3620187407_sub_3908131327_3965413181,
2735  (void*)ieee_p_3620187407_sub_3960833091_3965413181,
2736  (void*)ieee_p_3620187407_sub_2698824431_3965413181,
2737  (void*)ieee_p_3620187407_sub_2546418145_3965413181,
2738  (void*)ieee_p_3620187407_sub_2599119909_3965413181,
2739  (void*)ieee_p_3620187407_sub_4042748798_3965413181,
2740  (void*)ieee_p_3620187407_sub_3890342512_3965413181,
2741  (void*)ieee_p_3620187407_sub_3943044276_3965413181,
2742  (void*)ieee_p_3620187407_sub_514432868_3965413181,
2743  (void*)ieee_p_3620187407_sub_121739838_3965413181,
2744  (void*)ieee_p_3620187407_sub_121746372_3965413181};
2745  xsi_register_didat("ieee_p_3620187407",
2746  "isim/precompiled.exe.sim/ieee/p_3620187407.didat");
2747  xsi_register_subprogram_executes(se);
2748 }