otsdaq_prepmodernization  v2_05_02_indev
p_0017514958.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 extern char* IEEE_P_2592010699;
25 static const char* ng1 = "Function sense ended without a return statement";
26 extern char* STD_STANDARD;
27 static const char* ng3 = "tristate_tableBase";
28 static const char* ng4 = "tristate_table";
29 static const char* ng5 = "mux_tableBase";
30 static const char* ng6 = "mux_table";
31 static const char* ng7 = "maj23_tableBase";
32 static const char* ng8 = "maj23_table";
33 static const char* ng9 = "stdlogic_tableBase";
34 static const char* ng10 = "stdlogic_table";
35 
36 unsigned char ieee_p_2592010699_sub_1605435078_503743352(char*,
37  unsigned char,
38  unsigned char);
39 unsigned char ieee_p_2592010699_sub_1690584930_503743352(char*, unsigned char);
40 unsigned char ieee_p_2592010699_sub_2507238156_503743352(char*,
41  unsigned char,
42  unsigned char);
43 unsigned char ieee_p_2592010699_sub_2545490612_503743352(char*,
44  unsigned char,
45  unsigned char);
46 
47 unsigned char ieee_p_0017514958_sub_2888371257_1861681735(char* t1,
48  unsigned char t2,
49  unsigned char t3)
50 {
51  char t5[8];
52  unsigned char t0;
53  char* t6;
54  char* t7;
55  char* t8;
56  char* t9;
57  int t10;
58  unsigned int t11;
59  unsigned int t12;
60  int t13;
61  unsigned int t14;
62  unsigned int t15;
63  unsigned int t16;
64  unsigned int t17;
65  unsigned char t18;
66 
67 LAB0:
68  t6 = (t5 + 4U);
69  *((unsigned char*)t6) = t2;
70  t7 = (t5 + 5U);
71  *((unsigned char*)t7) = t3;
72  t8 = (t1 + 1168U);
73  t9 = *((char**)t8);
74  t10 = (t2 - 0);
75  t11 = (t10 * 1);
76  t12 = (t11 * 10U);
77  t13 = (t3 - 0);
78  t14 = (t13 * 1);
79  t15 = (t12 + t14);
80  t16 = (1U * t15);
81  t17 = (0 + t16);
82  t8 = (t9 + t17);
83  t18 = *((unsigned char*)t8);
84  t0 = t18;
85 
86 LAB1:
87  return t0;
88 LAB2:;
89 }
90 
91 unsigned char ieee_p_0017514958_sub_3959339890_1861681735(char* t1,
92  unsigned char t2,
93  unsigned char t3)
94 {
95  char t5[8];
96  unsigned char t0;
97  char* t6;
98  char* t7;
99  char* t8;
100  char* t9;
101  int t10;
102  unsigned int t11;
103  unsigned int t12;
104  int t13;
105  unsigned int t14;
106  unsigned int t15;
107  unsigned int t16;
108  unsigned int t17;
109  unsigned char t18;
110 
111 LAB0:
112  t6 = (t5 + 4U);
113  *((unsigned char*)t6) = t2;
114  t7 = (t5 + 5U);
115  *((unsigned char*)t7) = t3;
116  t8 = (t1 + 1288U);
117  t9 = *((char**)t8);
118  t10 = (t2 - 0);
119  t11 = (t10 * 1);
120  t12 = (t11 * 10U);
121  t13 = (t3 - 0);
122  t14 = (t13 * 1);
123  t15 = (t12 + t14);
124  t16 = (1U * t15);
125  t17 = (0 + t16);
126  t8 = (t9 + t17);
127  t18 = *((unsigned char*)t8);
128  t0 = t18;
129 
130 LAB1:
131  return t0;
132 LAB2:;
133 }
134 
135 char* ieee_p_0017514958_sub_3483042593_1861681735(char* t1, char* t2, char* t3, char* t4)
136 {
137  char t5[128];
138  char t6[24];
139  char t7[16];
140  char t18[16];
141  char* t0;
142  char* t8;
143  unsigned int t9;
144  int t10;
145  char* t11;
146  char* t12;
147  int t13;
148  unsigned int t14;
149  int t15;
150  int t16;
151  unsigned int t17;
152  char* t19;
153  unsigned int t20;
154  int t21;
155  char* t22;
156  char* t23;
157  int t24;
158  unsigned int t25;
159  char* t26;
160  char* t27;
161  char* t28;
162  char* t29;
163  char* t30;
164  char* t31;
165  char* t32;
166  unsigned char t33;
167  char* t34;
168  char* t35;
169  char* t36;
170  char* t37;
171  char* t38;
172 
173 LAB0:
174  t8 = (t4 + 12U);
175  t9 = *((unsigned int*)t8);
176  t10 = (t9 - 1);
177  t11 = (t7 + 0U);
178  t12 = (t11 + 0U);
179  *((int*)t12) = t10;
180  t12 = (t11 + 4U);
181  *((int*)t12) = 0;
182  t12 = (t11 + 8U);
183  *((int*)t12) = -1;
184  t13 = (0 - t10);
185  t14 = (t13 * -1);
186  t14 = (t14 + 1);
187  t12 = (t11 + 12U);
188  *((unsigned int*)t12) = t14;
189  t12 = (t4 + 12U);
190  t14 = *((unsigned int*)t12);
191  t15 = (t14 - 1);
192  t16 = (0 - t15);
193  t17 = (t16 * -1);
194  t17 = (t17 + 1);
195  t17 = (t17 * 1U);
196  t19 = (t4 + 12U);
197  t20 = *((unsigned int*)t19);
198  t21 = (t20 - 1);
199  t22 = (t18 + 0U);
200  t23 = (t22 + 0U);
201  *((int*)t23) = t21;
202  t23 = (t22 + 4U);
203  *((int*)t23) = 0;
204  t23 = (t22 + 8U);
205  *((int*)t23) = -1;
206  t24 = (0 - t21);
207  t25 = (t24 * -1);
208  t25 = (t25 + 1);
209  t23 = (t22 + 12U);
210  *((unsigned int*)t23) = t25;
211  t23 = (t5 + 4U);
212  t26 = ((IEEE_P_2592010699) + 3912);
213  t27 = (t23 + 88U);
214  *((char**)t27) = t26;
215  t28 = (char*)alloca(t17);
216  t29 = (t23 + 56U);
217  *((char**)t29) = t28;
218  xsi_type_set_default_value(t26, t28, t18);
219  t30 = (t23 + 64U);
220  *((char**)t30) = t18;
221  t31 = (t23 + 80U);
222  *((unsigned int*)t31) = t17;
223  t32 = (t6 + 4U);
224  t33 = (t3 != 0);
225  if(t33 == 1)
226  goto LAB3;
227 
228 LAB2:
229  t34 = (t6 + 12U);
230  *((char**)t34) = t4;
231  t35 = (t3 + 0);
232  t36 = (t23 + 56U);
233  t37 = *((char**)t36);
234  t36 = (t37 + 0);
235  t38 = (t7 + 12U);
236  t25 = *((unsigned int*)t38);
237  t25 = (t25 * 1U);
238  memcpy(t36, t35, t25);
239  t8 = (t23 + 56U);
240  t11 = *((char**)t8);
241  t8 = (t18 + 12U);
242  t9 = *((unsigned int*)t8);
243  t9 = (t9 * 1U);
244  t0 = xsi_get_transient_memory(t9);
245  memcpy(t0, t11, t9);
246  t12 = (t18 + 0U);
247  t10 = *((int*)t12);
248  t19 = (t18 + 4U);
249  t13 = *((int*)t19);
250  t22 = (t18 + 8U);
251  t15 = *((int*)t22);
252  t26 = (t2 + 0U);
253  t27 = (t26 + 0U);
254  *((int*)t27) = t10;
255  t27 = (t26 + 4U);
256  *((int*)t27) = t13;
257  t27 = (t26 + 8U);
258  *((int*)t27) = t15;
259  t16 = (t13 - t10);
260  t14 = (t16 * t15);
261  t14 = (t14 + 1);
262  t27 = (t26 + 12U);
263  *((unsigned int*)t27) = t14;
264 
265 LAB1:
266  return t0;
267 LAB3:
268  *((char**)t32) = t3;
269  goto LAB2;
270 
271 LAB4:;
272 }
273 
274 char* ieee_p_0017514958_sub_839555928_1861681735(char* t1, char* t2, char* t3, char* t4)
275 {
276  char t5[128];
277  char t6[24];
278  char t7[16];
279  char t18[16];
280  char* t0;
281  char* t8;
282  unsigned int t9;
283  int t10;
284  char* t11;
285  char* t12;
286  int t13;
287  unsigned int t14;
288  int t15;
289  int t16;
290  unsigned int t17;
291  char* t19;
292  unsigned int t20;
293  int t21;
294  char* t22;
295  char* t23;
296  int t24;
297  unsigned int t25;
298  char* t26;
299  char* t27;
300  char* t28;
301  char* t29;
302  char* t30;
303  char* t31;
304  char* t32;
305  unsigned char t33;
306  char* t34;
307  char* t35;
308  char* t36;
309  char* t37;
310  char* t38;
311 
312 LAB0:
313  t8 = (t4 + 12U);
314  t9 = *((unsigned int*)t8);
315  t10 = (t9 - 1);
316  t11 = (t7 + 0U);
317  t12 = (t11 + 0U);
318  *((int*)t12) = t10;
319  t12 = (t11 + 4U);
320  *((int*)t12) = 0;
321  t12 = (t11 + 8U);
322  *((int*)t12) = -1;
323  t13 = (0 - t10);
324  t14 = (t13 * -1);
325  t14 = (t14 + 1);
326  t12 = (t11 + 12U);
327  *((unsigned int*)t12) = t14;
328  t12 = (t4 + 12U);
329  t14 = *((unsigned int*)t12);
330  t15 = (t14 - 1);
331  t16 = (0 - t15);
332  t17 = (t16 * -1);
333  t17 = (t17 + 1);
334  t17 = (t17 * 1U);
335  t19 = (t4 + 12U);
336  t20 = *((unsigned int*)t19);
337  t21 = (t20 - 1);
338  t22 = (t18 + 0U);
339  t23 = (t22 + 0U);
340  *((int*)t23) = t21;
341  t23 = (t22 + 4U);
342  *((int*)t23) = 0;
343  t23 = (t22 + 8U);
344  *((int*)t23) = -1;
345  t24 = (0 - t21);
346  t25 = (t24 * -1);
347  t25 = (t25 + 1);
348  t23 = (t22 + 12U);
349  *((unsigned int*)t23) = t25;
350  t23 = (t5 + 4U);
351  t26 = ((IEEE_P_2592010699) + 4024);
352  t27 = (t23 + 88U);
353  *((char**)t27) = t26;
354  t28 = (char*)alloca(t17);
355  t29 = (t23 + 56U);
356  *((char**)t29) = t28;
357  xsi_type_set_default_value(t26, t28, t18);
358  t30 = (t23 + 64U);
359  *((char**)t30) = t18;
360  t31 = (t23 + 80U);
361  *((unsigned int*)t31) = t17;
362  t32 = (t6 + 4U);
363  t33 = (t3 != 0);
364  if(t33 == 1)
365  goto LAB3;
366 
367 LAB2:
368  t34 = (t6 + 12U);
369  *((char**)t34) = t4;
370  t35 = (t3 + 0);
371  t36 = (t23 + 56U);
372  t37 = *((char**)t36);
373  t36 = (t37 + 0);
374  t38 = (t7 + 12U);
375  t25 = *((unsigned int*)t38);
376  t25 = (t25 * 1U);
377  memcpy(t36, t35, t25);
378  t8 = (t23 + 56U);
379  t11 = *((char**)t8);
380  t8 = (t18 + 12U);
381  t9 = *((unsigned int*)t8);
382  t9 = (t9 * 1U);
383  t0 = xsi_get_transient_memory(t9);
384  memcpy(t0, t11, t9);
385  t12 = (t18 + 0U);
386  t10 = *((int*)t12);
387  t19 = (t18 + 4U);
388  t13 = *((int*)t19);
389  t22 = (t18 + 8U);
390  t15 = *((int*)t22);
391  t26 = (t2 + 0U);
392  t27 = (t26 + 0U);
393  *((int*)t27) = t10;
394  t27 = (t26 + 4U);
395  *((int*)t27) = t13;
396  t27 = (t26 + 8U);
397  *((int*)t27) = t15;
398  t16 = (t13 - t10);
399  t14 = (t16 * t15);
400  t14 = (t14 + 1);
401  t27 = (t26 + 12U);
402  *((unsigned int*)t27) = t14;
403 
404 LAB1:
405  return t0;
406 LAB3:
407  *((char**)t32) = t3;
408  goto LAB2;
409 
410 LAB4:;
411 }
412 
413 unsigned char ieee_p_0017514958_sub_1417944488_1861681735(
414  char* t1, unsigned char t2, unsigned char t3, unsigned char t4, unsigned char t5)
415 {
416  char t7[8];
417  unsigned char t0;
418  char* t8;
419  char* t9;
420  char* t10;
421  char* t11;
422  unsigned char t12;
423 
424 LAB0:
425  t8 = (t7 + 4U);
426  *((unsigned char*)t8) = t2;
427  t9 = (t7 + 5U);
428  *((unsigned char*)t9) = t3;
429  t10 = (t7 + 6U);
430  *((unsigned char*)t10) = t4;
431  t11 = (t7 + 7U);
432  *((unsigned char*)t11) = t5;
433  t12 = (t2 == (unsigned char)4);
434  if(t12 != 0)
435  goto LAB2;
436 
437 LAB4:
438  t12 = (t2 == (unsigned char)0);
439  if(t12 != 0)
440  goto LAB6;
441 
442 LAB7:
443  t12 = (t2 == (unsigned char)8);
444  if(t12 != 0)
445  goto LAB9;
446 
447 LAB10:
448  t0 = t2;
449 
450 LAB1:
451  return t0;
452 LAB2:
453  t0 = t3;
454  goto LAB1;
455 
456 LAB3:
457  xsi_error(ng1);
458  t0 = 0;
459  goto LAB1;
460 
461 LAB5:
462  goto LAB3;
463 
464 LAB6:
465  t0 = t4;
466  goto LAB1;
467 
468 LAB8:
469  goto LAB3;
470 
471 LAB9:
472  t0 = t5;
473  goto LAB1;
474 
475 LAB11:
476  goto LAB3;
477 
478 LAB12:
479  goto LAB3;
480 }
481 
482 char* ieee_p_0017514958_sub_2731107355_1861681735(char* t1,
483  char* t2,
484  char* t3,
485  char* t4,
486  unsigned char t5,
487  unsigned char t6,
488  unsigned char t7)
489 {
490  char t8[128];
491  char t9[24];
492  char t10[16];
493  char t21[16];
494  char* t0;
495  char* t11;
496  unsigned int t12;
497  int t13;
498  char* t14;
499  char* t15;
500  int t16;
501  unsigned int t17;
502  int t18;
503  int t19;
504  unsigned int t20;
505  char* t22;
506  unsigned int t23;
507  int t24;
508  char* t25;
509  char* t26;
510  int t27;
511  unsigned int t28;
512  char* t29;
513  char* t30;
514  char* t31;
515  char* t32;
516  char* t33;
517  char* t34;
518  char* t35;
519  unsigned char t36;
520  char* t37;
521  char* t38;
522  char* t39;
523  char* t40;
524  char* t41;
525  int t42;
526  char* t43;
527  int t44;
528  char* t45;
529  int t46;
530  int t47;
531  int t48;
532  int t49;
533  int t50;
534  char* t51;
535  char* t52;
536  int t53;
537  char* t54;
538  int t55;
539  int t56;
540  unsigned int t57;
541  unsigned int t58;
542  char* t59;
543  unsigned char t60;
544  unsigned char t61;
545  char* t62;
546  char* t63;
547  int t64;
548  char* t65;
549  int t66;
550  int t67;
551  unsigned int t68;
552  char* t69;
553  int t70;
554  unsigned int t71;
555  unsigned int t72;
556  char* t73;
557 
558 LAB0:
559  t11 = (t4 + 12U);
560  t12 = *((unsigned int*)t11);
561  t13 = (t12 - 1);
562  t14 = (t10 + 0U);
563  t15 = (t14 + 0U);
564  *((int*)t15) = t13;
565  t15 = (t14 + 4U);
566  *((int*)t15) = 0;
567  t15 = (t14 + 8U);
568  *((int*)t15) = -1;
569  t16 = (0 - t13);
570  t17 = (t16 * -1);
571  t17 = (t17 + 1);
572  t15 = (t14 + 12U);
573  *((unsigned int*)t15) = t17;
574  t15 = (t4 + 12U);
575  t17 = *((unsigned int*)t15);
576  t18 = (t17 - 1);
577  t19 = (0 - t18);
578  t20 = (t19 * -1);
579  t20 = (t20 + 1);
580  t20 = (t20 * 1U);
581  t22 = (t4 + 12U);
582  t23 = *((unsigned int*)t22);
583  t24 = (t23 - 1);
584  t25 = (t21 + 0U);
585  t26 = (t25 + 0U);
586  *((int*)t26) = t24;
587  t26 = (t25 + 4U);
588  *((int*)t26) = 0;
589  t26 = (t25 + 8U);
590  *((int*)t26) = -1;
591  t27 = (0 - t24);
592  t28 = (t27 * -1);
593  t28 = (t28 + 1);
594  t26 = (t25 + 12U);
595  *((unsigned int*)t26) = t28;
596  t26 = (t8 + 4U);
597  t29 = ((IEEE_P_2592010699) + 4024);
598  t30 = (t26 + 88U);
599  *((char**)t30) = t29;
600  t31 = (char*)alloca(t20);
601  t32 = (t26 + 56U);
602  *((char**)t32) = t31;
603  xsi_type_set_default_value(t29, t31, t21);
604  t33 = (t26 + 64U);
605  *((char**)t33) = t21;
606  t34 = (t26 + 80U);
607  *((unsigned int*)t34) = t20;
608  t35 = (t9 + 4U);
609  t36 = (t3 != 0);
610  if(t36 == 1)
611  goto LAB3;
612 
613 LAB2:
614  t37 = (t9 + 12U);
615  *((char**)t37) = t4;
616  t38 = (t9 + 20U);
617  *((unsigned char*)t38) = t5;
618  t39 = (t9 + 21U);
619  *((unsigned char*)t39) = t6;
620  t40 = (t9 + 22U);
621  *((unsigned char*)t40) = t7;
622  t41 = (t10 + 8U);
623  t42 = *((int*)t41);
624  t43 = (t10 + 4U);
625  t44 = *((int*)t43);
626  t45 = (t10 + 0U);
627  t46 = *((int*)t45);
628  t47 = t46;
629  t48 = t44;
630 
631 LAB4:
632  t49 = (t48 * t42);
633  t50 = (t47 * t42);
634  if(t50 <= t49)
635  goto LAB5;
636 
637 LAB7:
638  t11 = (t26 + 56U);
639  t14 = *((char**)t11);
640  t11 = (t21 + 12U);
641  t12 = *((unsigned int*)t11);
642  t12 = (t12 * 1U);
643  t0 = xsi_get_transient_memory(t12);
644  memcpy(t0, t14, t12);
645  t15 = (t21 + 0U);
646  t13 = *((int*)t15);
647  t22 = (t21 + 4U);
648  t16 = *((int*)t22);
649  t25 = (t21 + 8U);
650  t18 = *((int*)t25);
651  t29 = (t2 + 0U);
652  t30 = (t29 + 0U);
653  *((int*)t30) = t13;
654  t30 = (t29 + 4U);
655  *((int*)t30) = t16;
656  t30 = (t29 + 8U);
657  *((int*)t30) = t18;
658  t19 = (t16 - t13);
659  t17 = (t19 * t18);
660  t17 = (t17 + 1);
661  t30 = (t29 + 12U);
662  *((unsigned int*)t30) = t17;
663 
664 LAB1:
665  return t0;
666 LAB3:
667  *((char**)t35) = t3;
668  goto LAB2;
669 
670 LAB5:
671  t51 = (t3 + 0);
672  t52 = (t10 + 0U);
673  t53 = *((int*)t52);
674  t54 = (t10 + 8U);
675  t55 = *((int*)t54);
676  t56 = (t47 - t53);
677  t28 = (t56 * t55);
678  t57 = (1U * t28);
679  t58 = (0 + t57);
680  t59 = (t51 + t58);
681  t60 = *((unsigned char*)t59);
682  t61 = (t60 == (unsigned char)4);
683  if(t61 != 0)
684  goto LAB8;
685 
686 LAB10:
687  t11 = (t3 + 0);
688  t14 = (t10 + 0U);
689  t13 = *((int*)t14);
690  t15 = (t10 + 8U);
691  t16 = *((int*)t15);
692  t18 = (t47 - t13);
693  t12 = (t18 * t16);
694  t17 = (1U * t12);
695  t20 = (0 + t17);
696  t22 = (t11 + t20);
697  t36 = *((unsigned char*)t22);
698  t60 = (t36 == (unsigned char)0);
699  if(t60 != 0)
700  goto LAB11;
701 
702 LAB12:
703  t11 = (t3 + 0);
704  t14 = (t10 + 0U);
705  t13 = *((int*)t14);
706  t15 = (t10 + 8U);
707  t16 = *((int*)t15);
708  t18 = (t47 - t13);
709  t12 = (t18 * t16);
710  t17 = (1U * t12);
711  t20 = (0 + t17);
712  t22 = (t11 + t20);
713  t36 = *((unsigned char*)t22);
714  t60 = (t36 == (unsigned char)8);
715  if(t60 != 0)
716  goto LAB13;
717 
718 LAB14:
719  t11 = (t3 + 0);
720  t14 = (t10 + 0U);
721  t13 = *((int*)t14);
722  t15 = (t10 + 8U);
723  t16 = *((int*)t15);
724  t18 = (t47 - t13);
725  t12 = (t18 * t16);
726  t17 = (1U * t12);
727  t20 = (0 + t17);
728  t22 = (t11 + t20);
729  t36 = *((unsigned char*)t22);
730  t25 = (t26 + 56U);
731  t29 = *((char**)t25);
732  t25 = (t21 + 0U);
733  t19 = *((int*)t25);
734  t30 = (t21 + 8U);
735  t24 = *((int*)t30);
736  t27 = (t47 - t19);
737  t23 = (t27 * t24);
738  t32 = (t21 + 4U);
739  t44 = *((int*)t32);
740  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
741  t28 = (1U * t23);
742  t57 = (0 + t28);
743  t33 = (t29 + t57);
744  *((unsigned char*)t33) = t36;
745 
746 LAB9:
747 LAB6:
748  if(t47 == t48)
749  goto LAB7;
750 
751 LAB15:
752  t13 = (t47 + t42);
753  t47 = t13;
754  goto LAB4;
755 
756 LAB8:
757  t62 = (t26 + 56U);
758  t63 = *((char**)t62);
759  t62 = (t21 + 0U);
760  t64 = *((int*)t62);
761  t65 = (t21 + 8U);
762  t66 = *((int*)t65);
763  t67 = (t47 - t64);
764  t68 = (t67 * t66);
765  t69 = (t21 + 4U);
766  t70 = *((int*)t69);
767  xsi_vhdl_check_range_of_index(t64, t70, t66, t47);
768  t71 = (1U * t68);
769  t72 = (0 + t71);
770  t73 = (t63 + t72);
771  *((unsigned char*)t73) = t5;
772  goto LAB9;
773 
774 LAB11:
775  t25 = (t26 + 56U);
776  t29 = *((char**)t25);
777  t25 = (t21 + 0U);
778  t19 = *((int*)t25);
779  t30 = (t21 + 8U);
780  t24 = *((int*)t30);
781  t27 = (t47 - t19);
782  t23 = (t27 * t24);
783  t32 = (t21 + 4U);
784  t44 = *((int*)t32);
785  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
786  t28 = (1U * t23);
787  t57 = (0 + t28);
788  t33 = (t29 + t57);
789  *((unsigned char*)t33) = t6;
790  goto LAB9;
791 
792 LAB13:
793  t25 = (t26 + 56U);
794  t29 = *((char**)t25);
795  t25 = (t21 + 0U);
796  t19 = *((int*)t25);
797  t30 = (t21 + 8U);
798  t24 = *((int*)t30);
799  t27 = (t47 - t19);
800  t23 = (t27 * t24);
801  t32 = (t21 + 4U);
802  t44 = *((int*)t32);
803  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
804  t28 = (1U * t23);
805  t57 = (0 + t28);
806  t33 = (t29 + t57);
807  *((unsigned char*)t33) = t7;
808  goto LAB9;
809 
810 LAB16:;
811 }
812 
813 char* ieee_p_0017514958_sub_670926509_1861681735(char* t1,
814  char* t2,
815  char* t3,
816  char* t4,
817  unsigned char t5,
818  unsigned char t6,
819  unsigned char t7)
820 {
821  char t8[128];
822  char t9[24];
823  char t10[16];
824  char t21[16];
825  char* t0;
826  char* t11;
827  unsigned int t12;
828  int t13;
829  char* t14;
830  char* t15;
831  int t16;
832  unsigned int t17;
833  int t18;
834  int t19;
835  unsigned int t20;
836  char* t22;
837  unsigned int t23;
838  int t24;
839  char* t25;
840  char* t26;
841  int t27;
842  unsigned int t28;
843  char* t29;
844  char* t30;
845  char* t31;
846  char* t32;
847  char* t33;
848  char* t34;
849  char* t35;
850  unsigned char t36;
851  char* t37;
852  char* t38;
853  char* t39;
854  char* t40;
855  char* t41;
856  int t42;
857  char* t43;
858  int t44;
859  char* t45;
860  int t46;
861  int t47;
862  int t48;
863  int t49;
864  int t50;
865  char* t51;
866  char* t52;
867  int t53;
868  char* t54;
869  int t55;
870  int t56;
871  unsigned int t57;
872  unsigned int t58;
873  char* t59;
874  unsigned char t60;
875  unsigned char t61;
876  char* t62;
877  char* t63;
878  int t64;
879  char* t65;
880  int t66;
881  int t67;
882  unsigned int t68;
883  char* t69;
884  int t70;
885  unsigned int t71;
886  unsigned int t72;
887  char* t73;
888 
889 LAB0:
890  t11 = (t4 + 12U);
891  t12 = *((unsigned int*)t11);
892  t13 = (t12 - 1);
893  t14 = (t10 + 0U);
894  t15 = (t14 + 0U);
895  *((int*)t15) = t13;
896  t15 = (t14 + 4U);
897  *((int*)t15) = 0;
898  t15 = (t14 + 8U);
899  *((int*)t15) = -1;
900  t16 = (0 - t13);
901  t17 = (t16 * -1);
902  t17 = (t17 + 1);
903  t15 = (t14 + 12U);
904  *((unsigned int*)t15) = t17;
905  t15 = (t4 + 12U);
906  t17 = *((unsigned int*)t15);
907  t18 = (t17 - 1);
908  t19 = (0 - t18);
909  t20 = (t19 * -1);
910  t20 = (t20 + 1);
911  t20 = (t20 * 1U);
912  t22 = (t4 + 12U);
913  t23 = *((unsigned int*)t22);
914  t24 = (t23 - 1);
915  t25 = (t21 + 0U);
916  t26 = (t25 + 0U);
917  *((int*)t26) = t24;
918  t26 = (t25 + 4U);
919  *((int*)t26) = 0;
920  t26 = (t25 + 8U);
921  *((int*)t26) = -1;
922  t27 = (0 - t24);
923  t28 = (t27 * -1);
924  t28 = (t28 + 1);
925  t26 = (t25 + 12U);
926  *((unsigned int*)t26) = t28;
927  t26 = (t8 + 4U);
928  t29 = ((IEEE_P_2592010699) + 3912);
929  t30 = (t26 + 88U);
930  *((char**)t30) = t29;
931  t31 = (char*)alloca(t20);
932  t32 = (t26 + 56U);
933  *((char**)t32) = t31;
934  xsi_type_set_default_value(t29, t31, t21);
935  t33 = (t26 + 64U);
936  *((char**)t33) = t21;
937  t34 = (t26 + 80U);
938  *((unsigned int*)t34) = t20;
939  t35 = (t9 + 4U);
940  t36 = (t3 != 0);
941  if(t36 == 1)
942  goto LAB3;
943 
944 LAB2:
945  t37 = (t9 + 12U);
946  *((char**)t37) = t4;
947  t38 = (t9 + 20U);
948  *((unsigned char*)t38) = t5;
949  t39 = (t9 + 21U);
950  *((unsigned char*)t39) = t6;
951  t40 = (t9 + 22U);
952  *((unsigned char*)t40) = t7;
953  t41 = (t10 + 8U);
954  t42 = *((int*)t41);
955  t43 = (t10 + 4U);
956  t44 = *((int*)t43);
957  t45 = (t10 + 0U);
958  t46 = *((int*)t45);
959  t47 = t46;
960  t48 = t44;
961 
962 LAB4:
963  t49 = (t48 * t42);
964  t50 = (t47 * t42);
965  if(t50 <= t49)
966  goto LAB5;
967 
968 LAB7:
969  t11 = (t26 + 56U);
970  t14 = *((char**)t11);
971  t11 = (t21 + 12U);
972  t12 = *((unsigned int*)t11);
973  t12 = (t12 * 1U);
974  t0 = xsi_get_transient_memory(t12);
975  memcpy(t0, t14, t12);
976  t15 = (t21 + 0U);
977  t13 = *((int*)t15);
978  t22 = (t21 + 4U);
979  t16 = *((int*)t22);
980  t25 = (t21 + 8U);
981  t18 = *((int*)t25);
982  t29 = (t2 + 0U);
983  t30 = (t29 + 0U);
984  *((int*)t30) = t13;
985  t30 = (t29 + 4U);
986  *((int*)t30) = t16;
987  t30 = (t29 + 8U);
988  *((int*)t30) = t18;
989  t19 = (t16 - t13);
990  t17 = (t19 * t18);
991  t17 = (t17 + 1);
992  t30 = (t29 + 12U);
993  *((unsigned int*)t30) = t17;
994 
995 LAB1:
996  return t0;
997 LAB3:
998  *((char**)t35) = t3;
999  goto LAB2;
1000 
1001 LAB5:
1002  t51 = (t3 + 0);
1003  t52 = (t10 + 0U);
1004  t53 = *((int*)t52);
1005  t54 = (t10 + 8U);
1006  t55 = *((int*)t54);
1007  t56 = (t47 - t53);
1008  t28 = (t56 * t55);
1009  t57 = (1U * t28);
1010  t58 = (0 + t57);
1011  t59 = (t51 + t58);
1012  t60 = *((unsigned char*)t59);
1013  t61 = (t60 == (unsigned char)4);
1014  if(t61 != 0)
1015  goto LAB8;
1016 
1017 LAB10:
1018  t11 = (t3 + 0);
1019  t14 = (t10 + 0U);
1020  t13 = *((int*)t14);
1021  t15 = (t10 + 8U);
1022  t16 = *((int*)t15);
1023  t18 = (t47 - t13);
1024  t12 = (t18 * t16);
1025  t17 = (1U * t12);
1026  t20 = (0 + t17);
1027  t22 = (t11 + t20);
1028  t36 = *((unsigned char*)t22);
1029  t60 = (t36 == (unsigned char)0);
1030  if(t60 != 0)
1031  goto LAB11;
1032 
1033 LAB12:
1034  t11 = (t3 + 0);
1035  t14 = (t10 + 0U);
1036  t13 = *((int*)t14);
1037  t15 = (t10 + 8U);
1038  t16 = *((int*)t15);
1039  t18 = (t47 - t13);
1040  t12 = (t18 * t16);
1041  t17 = (1U * t12);
1042  t20 = (0 + t17);
1043  t22 = (t11 + t20);
1044  t36 = *((unsigned char*)t22);
1045  t60 = (t36 == (unsigned char)8);
1046  if(t60 != 0)
1047  goto LAB13;
1048 
1049 LAB14:
1050  t11 = (t3 + 0);
1051  t14 = (t10 + 0U);
1052  t13 = *((int*)t14);
1053  t15 = (t10 + 8U);
1054  t16 = *((int*)t15);
1055  t18 = (t47 - t13);
1056  t12 = (t18 * t16);
1057  t17 = (1U * t12);
1058  t20 = (0 + t17);
1059  t22 = (t11 + t20);
1060  t36 = *((unsigned char*)t22);
1061  t25 = (t26 + 56U);
1062  t29 = *((char**)t25);
1063  t25 = (t21 + 0U);
1064  t19 = *((int*)t25);
1065  t30 = (t21 + 8U);
1066  t24 = *((int*)t30);
1067  t27 = (t47 - t19);
1068  t23 = (t27 * t24);
1069  t32 = (t21 + 4U);
1070  t44 = *((int*)t32);
1071  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
1072  t28 = (1U * t23);
1073  t57 = (0 + t28);
1074  t33 = (t29 + t57);
1075  *((unsigned char*)t33) = t36;
1076 
1077 LAB9:
1078 LAB6:
1079  if(t47 == t48)
1080  goto LAB7;
1081 
1082 LAB15:
1083  t13 = (t47 + t42);
1084  t47 = t13;
1085  goto LAB4;
1086 
1087 LAB8:
1088  t62 = (t26 + 56U);
1089  t63 = *((char**)t62);
1090  t62 = (t21 + 0U);
1091  t64 = *((int*)t62);
1092  t65 = (t21 + 8U);
1093  t66 = *((int*)t65);
1094  t67 = (t47 - t64);
1095  t68 = (t67 * t66);
1096  t69 = (t21 + 4U);
1097  t70 = *((int*)t69);
1098  xsi_vhdl_check_range_of_index(t64, t70, t66, t47);
1099  t71 = (1U * t68);
1100  t72 = (0 + t71);
1101  t73 = (t63 + t72);
1102  *((unsigned char*)t73) = t5;
1103  goto LAB9;
1104 
1105 LAB11:
1106  t25 = (t26 + 56U);
1107  t29 = *((char**)t25);
1108  t25 = (t21 + 0U);
1109  t19 = *((int*)t25);
1110  t30 = (t21 + 8U);
1111  t24 = *((int*)t30);
1112  t27 = (t47 - t19);
1113  t23 = (t27 * t24);
1114  t32 = (t21 + 4U);
1115  t44 = *((int*)t32);
1116  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
1117  t28 = (1U * t23);
1118  t57 = (0 + t28);
1119  t33 = (t29 + t57);
1120  *((unsigned char*)t33) = t6;
1121  goto LAB9;
1122 
1123 LAB13:
1124  t25 = (t26 + 56U);
1125  t29 = *((char**)t25);
1126  t25 = (t21 + 0U);
1127  t19 = *((int*)t25);
1128  t30 = (t21 + 8U);
1129  t24 = *((int*)t30);
1130  t27 = (t47 - t19);
1131  t23 = (t27 * t24);
1132  t32 = (t21 + 4U);
1133  t44 = *((int*)t32);
1134  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
1135  t28 = (1U * t23);
1136  t57 = (0 + t28);
1137  t33 = (t29 + t57);
1138  *((unsigned char*)t33) = t7;
1139  goto LAB9;
1140 
1141 LAB16:;
1142 }
1143 
1144 char* ieee_p_0017514958_sub_1990327881_1861681735(char* t1,
1145  char* t2,
1146  char* t3,
1147  char* t4,
1148  unsigned char t5,
1149  unsigned char t6,
1150  unsigned char t7)
1151 {
1152  char t8[128];
1153  char t9[24];
1154  char t10[16];
1155  char t21[16];
1156  char* t0;
1157  char* t11;
1158  unsigned int t12;
1159  int t13;
1160  char* t14;
1161  char* t15;
1162  int t16;
1163  unsigned int t17;
1164  int t18;
1165  int t19;
1166  unsigned int t20;
1167  char* t22;
1168  unsigned int t23;
1169  int t24;
1170  char* t25;
1171  char* t26;
1172  int t27;
1173  unsigned int t28;
1174  char* t29;
1175  char* t30;
1176  char* t31;
1177  char* t32;
1178  char* t33;
1179  char* t34;
1180  char* t35;
1181  unsigned char t36;
1182  char* t37;
1183  char* t38;
1184  char* t39;
1185  char* t40;
1186  char* t41;
1187  int t42;
1188  char* t43;
1189  int t44;
1190  char* t45;
1191  int t46;
1192  int t47;
1193  int t48;
1194  int t49;
1195  int t50;
1196  char* t51;
1197  char* t52;
1198  int t53;
1199  char* t54;
1200  int t55;
1201  int t56;
1202  unsigned int t57;
1203  unsigned int t58;
1204  char* t59;
1205  unsigned char t60;
1206  unsigned char t61;
1207  char* t62;
1208  char* t63;
1209  int t64;
1210  char* t65;
1211  int t66;
1212  int t67;
1213  unsigned int t68;
1214  char* t69;
1215  int t70;
1216  unsigned int t71;
1217  unsigned int t72;
1218  char* t73;
1219 
1220 LAB0:
1221  t11 = (t4 + 12U);
1222  t12 = *((unsigned int*)t11);
1223  t13 = (t12 - 1);
1224  t14 = (t10 + 0U);
1225  t15 = (t14 + 0U);
1226  *((int*)t15) = t13;
1227  t15 = (t14 + 4U);
1228  *((int*)t15) = 0;
1229  t15 = (t14 + 8U);
1230  *((int*)t15) = -1;
1231  t16 = (0 - t13);
1232  t17 = (t16 * -1);
1233  t17 = (t17 + 1);
1234  t15 = (t14 + 12U);
1235  *((unsigned int*)t15) = t17;
1236  t15 = (t4 + 12U);
1237  t17 = *((unsigned int*)t15);
1238  t18 = (t17 - 1);
1239  t19 = (0 - t18);
1240  t20 = (t19 * -1);
1241  t20 = (t20 + 1);
1242  t20 = (t20 * 1U);
1243  t22 = (t4 + 12U);
1244  t23 = *((unsigned int*)t22);
1245  t24 = (t23 - 1);
1246  t25 = (t21 + 0U);
1247  t26 = (t25 + 0U);
1248  *((int*)t26) = t24;
1249  t26 = (t25 + 4U);
1250  *((int*)t26) = 0;
1251  t26 = (t25 + 8U);
1252  *((int*)t26) = -1;
1253  t27 = (0 - t24);
1254  t28 = (t27 * -1);
1255  t28 = (t28 + 1);
1256  t26 = (t25 + 12U);
1257  *((unsigned int*)t26) = t28;
1258  t26 = (t8 + 4U);
1259  t29 = ((IEEE_P_2592010699) + 4024);
1260  t30 = (t26 + 88U);
1261  *((char**)t30) = t29;
1262  t31 = (char*)alloca(t20);
1263  t32 = (t26 + 56U);
1264  *((char**)t32) = t31;
1265  xsi_type_set_default_value(t29, t31, t21);
1266  t33 = (t26 + 64U);
1267  *((char**)t33) = t21;
1268  t34 = (t26 + 80U);
1269  *((unsigned int*)t34) = t20;
1270  t35 = (t9 + 4U);
1271  t36 = (t3 != 0);
1272  if(t36 == 1)
1273  goto LAB3;
1274 
1275 LAB2:
1276  t37 = (t9 + 12U);
1277  *((char**)t37) = t4;
1278  t38 = (t9 + 20U);
1279  *((unsigned char*)t38) = t5;
1280  t39 = (t9 + 21U);
1281  *((unsigned char*)t39) = t6;
1282  t40 = (t9 + 22U);
1283  *((unsigned char*)t40) = t7;
1284  t41 = (t10 + 8U);
1285  t42 = *((int*)t41);
1286  t43 = (t10 + 4U);
1287  t44 = *((int*)t43);
1288  t45 = (t10 + 0U);
1289  t46 = *((int*)t45);
1290  t47 = t46;
1291  t48 = t44;
1292 
1293 LAB4:
1294  t49 = (t48 * t42);
1295  t50 = (t47 * t42);
1296  if(t50 <= t49)
1297  goto LAB5;
1298 
1299 LAB7:
1300  t11 = (t26 + 56U);
1301  t14 = *((char**)t11);
1302  t11 = (t21 + 12U);
1303  t12 = *((unsigned int*)t11);
1304  t12 = (t12 * 1U);
1305  t0 = xsi_get_transient_memory(t12);
1306  memcpy(t0, t14, t12);
1307  t15 = (t21 + 0U);
1308  t13 = *((int*)t15);
1309  t22 = (t21 + 4U);
1310  t16 = *((int*)t22);
1311  t25 = (t21 + 8U);
1312  t18 = *((int*)t25);
1313  t29 = (t2 + 0U);
1314  t30 = (t29 + 0U);
1315  *((int*)t30) = t13;
1316  t30 = (t29 + 4U);
1317  *((int*)t30) = t16;
1318  t30 = (t29 + 8U);
1319  *((int*)t30) = t18;
1320  t19 = (t16 - t13);
1321  t17 = (t19 * t18);
1322  t17 = (t17 + 1);
1323  t30 = (t29 + 12U);
1324  *((unsigned int*)t30) = t17;
1325 
1326 LAB1:
1327  return t0;
1328 LAB3:
1329  *((char**)t35) = t3;
1330  goto LAB2;
1331 
1332 LAB5:
1333  t51 = (t3 + 0);
1334  t52 = (t10 + 0U);
1335  t53 = *((int*)t52);
1336  t54 = (t10 + 8U);
1337  t55 = *((int*)t54);
1338  t56 = (t47 - t53);
1339  t28 = (t56 * t55);
1340  t57 = (1U * t28);
1341  t58 = (0 + t57);
1342  t59 = (t51 + t58);
1343  t60 = *((unsigned char*)t59);
1344  t61 = (t60 == (unsigned char)4);
1345  if(t61 != 0)
1346  goto LAB8;
1347 
1348 LAB10:
1349  t11 = (t3 + 0);
1350  t14 = (t10 + 0U);
1351  t13 = *((int*)t14);
1352  t15 = (t10 + 8U);
1353  t16 = *((int*)t15);
1354  t18 = (t47 - t13);
1355  t12 = (t18 * t16);
1356  t17 = (1U * t12);
1357  t20 = (0 + t17);
1358  t22 = (t11 + t20);
1359  t36 = *((unsigned char*)t22);
1360  t60 = (t36 == (unsigned char)0);
1361  if(t60 != 0)
1362  goto LAB11;
1363 
1364 LAB12:
1365  t11 = (t3 + 0);
1366  t14 = (t10 + 0U);
1367  t13 = *((int*)t14);
1368  t15 = (t10 + 8U);
1369  t16 = *((int*)t15);
1370  t18 = (t47 - t13);
1371  t12 = (t18 * t16);
1372  t17 = (1U * t12);
1373  t20 = (0 + t17);
1374  t22 = (t11 + t20);
1375  t36 = *((unsigned char*)t22);
1376  t60 = (t36 == (unsigned char)8);
1377  if(t60 != 0)
1378  goto LAB13;
1379 
1380 LAB14:
1381  t11 = (t3 + 0);
1382  t14 = (t10 + 0U);
1383  t13 = *((int*)t14);
1384  t15 = (t10 + 8U);
1385  t16 = *((int*)t15);
1386  t18 = (t47 - t13);
1387  t12 = (t18 * t16);
1388  t17 = (1U * t12);
1389  t20 = (0 + t17);
1390  t22 = (t11 + t20);
1391  t36 = *((unsigned char*)t22);
1392  t25 = (t26 + 56U);
1393  t29 = *((char**)t25);
1394  t25 = (t21 + 0U);
1395  t19 = *((int*)t25);
1396  t30 = (t21 + 8U);
1397  t24 = *((int*)t30);
1398  t27 = (t47 - t19);
1399  t23 = (t27 * t24);
1400  t32 = (t21 + 4U);
1401  t44 = *((int*)t32);
1402  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
1403  t28 = (1U * t23);
1404  t57 = (0 + t28);
1405  t33 = (t29 + t57);
1406  *((unsigned char*)t33) = t36;
1407 
1408 LAB9:
1409 LAB6:
1410  if(t47 == t48)
1411  goto LAB7;
1412 
1413 LAB15:
1414  t13 = (t47 + t42);
1415  t47 = t13;
1416  goto LAB4;
1417 
1418 LAB8:
1419  t62 = (t26 + 56U);
1420  t63 = *((char**)t62);
1421  t62 = (t21 + 0U);
1422  t64 = *((int*)t62);
1423  t65 = (t21 + 8U);
1424  t66 = *((int*)t65);
1425  t67 = (t47 - t64);
1426  t68 = (t67 * t66);
1427  t69 = (t21 + 4U);
1428  t70 = *((int*)t69);
1429  xsi_vhdl_check_range_of_index(t64, t70, t66, t47);
1430  t71 = (1U * t68);
1431  t72 = (0 + t71);
1432  t73 = (t63 + t72);
1433  *((unsigned char*)t73) = t5;
1434  goto LAB9;
1435 
1436 LAB11:
1437  t25 = (t26 + 56U);
1438  t29 = *((char**)t25);
1439  t25 = (t21 + 0U);
1440  t19 = *((int*)t25);
1441  t30 = (t21 + 8U);
1442  t24 = *((int*)t30);
1443  t27 = (t47 - t19);
1444  t23 = (t27 * t24);
1445  t32 = (t21 + 4U);
1446  t44 = *((int*)t32);
1447  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
1448  t28 = (1U * t23);
1449  t57 = (0 + t28);
1450  t33 = (t29 + t57);
1451  *((unsigned char*)t33) = t6;
1452  goto LAB9;
1453 
1454 LAB13:
1455  t25 = (t26 + 56U);
1456  t29 = *((char**)t25);
1457  t25 = (t21 + 0U);
1458  t19 = *((int*)t25);
1459  t30 = (t21 + 8U);
1460  t24 = *((int*)t30);
1461  t27 = (t47 - t19);
1462  t23 = (t27 * t24);
1463  t32 = (t21 + 4U);
1464  t44 = *((int*)t32);
1465  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
1466  t28 = (1U * t23);
1467  t57 = (0 + t28);
1468  t33 = (t29 + t57);
1469  *((unsigned char*)t33) = t7;
1470  goto LAB9;
1471 
1472 LAB16:;
1473 }
1474 
1475 char* ieee_p_0017514958_sub_1003888859_1861681735(char* t1,
1476  char* t2,
1477  char* t3,
1478  char* t4,
1479  unsigned char t5,
1480  unsigned char t6,
1481  unsigned char t7)
1482 {
1483  char t8[128];
1484  char t9[24];
1485  char t10[16];
1486  char t21[16];
1487  char* t0;
1488  char* t11;
1489  unsigned int t12;
1490  int t13;
1491  char* t14;
1492  char* t15;
1493  int t16;
1494  unsigned int t17;
1495  int t18;
1496  int t19;
1497  unsigned int t20;
1498  char* t22;
1499  unsigned int t23;
1500  int t24;
1501  char* t25;
1502  char* t26;
1503  int t27;
1504  unsigned int t28;
1505  char* t29;
1506  char* t30;
1507  char* t31;
1508  char* t32;
1509  char* t33;
1510  char* t34;
1511  char* t35;
1512  unsigned char t36;
1513  char* t37;
1514  char* t38;
1515  char* t39;
1516  char* t40;
1517  char* t41;
1518  int t42;
1519  char* t43;
1520  int t44;
1521  char* t45;
1522  int t46;
1523  int t47;
1524  int t48;
1525  int t49;
1526  int t50;
1527  char* t51;
1528  char* t52;
1529  int t53;
1530  char* t54;
1531  int t55;
1532  int t56;
1533  unsigned int t57;
1534  unsigned int t58;
1535  char* t59;
1536  unsigned char t60;
1537  unsigned char t61;
1538  char* t62;
1539  char* t63;
1540  int t64;
1541  char* t65;
1542  int t66;
1543  int t67;
1544  unsigned int t68;
1545  char* t69;
1546  int t70;
1547  unsigned int t71;
1548  unsigned int t72;
1549  char* t73;
1550 
1551 LAB0:
1552  t11 = (t4 + 12U);
1553  t12 = *((unsigned int*)t11);
1554  t13 = (t12 - 1);
1555  t14 = (t10 + 0U);
1556  t15 = (t14 + 0U);
1557  *((int*)t15) = t13;
1558  t15 = (t14 + 4U);
1559  *((int*)t15) = 0;
1560  t15 = (t14 + 8U);
1561  *((int*)t15) = -1;
1562  t16 = (0 - t13);
1563  t17 = (t16 * -1);
1564  t17 = (t17 + 1);
1565  t15 = (t14 + 12U);
1566  *((unsigned int*)t15) = t17;
1567  t15 = (t4 + 12U);
1568  t17 = *((unsigned int*)t15);
1569  t18 = (t17 - 1);
1570  t19 = (0 - t18);
1571  t20 = (t19 * -1);
1572  t20 = (t20 + 1);
1573  t20 = (t20 * 1U);
1574  t22 = (t4 + 12U);
1575  t23 = *((unsigned int*)t22);
1576  t24 = (t23 - 1);
1577  t25 = (t21 + 0U);
1578  t26 = (t25 + 0U);
1579  *((int*)t26) = t24;
1580  t26 = (t25 + 4U);
1581  *((int*)t26) = 0;
1582  t26 = (t25 + 8U);
1583  *((int*)t26) = -1;
1584  t27 = (0 - t24);
1585  t28 = (t27 * -1);
1586  t28 = (t28 + 1);
1587  t26 = (t25 + 12U);
1588  *((unsigned int*)t26) = t28;
1589  t26 = (t8 + 4U);
1590  t29 = ((IEEE_P_2592010699) + 3912);
1591  t30 = (t26 + 88U);
1592  *((char**)t30) = t29;
1593  t31 = (char*)alloca(t20);
1594  t32 = (t26 + 56U);
1595  *((char**)t32) = t31;
1596  xsi_type_set_default_value(t29, t31, t21);
1597  t33 = (t26 + 64U);
1598  *((char**)t33) = t21;
1599  t34 = (t26 + 80U);
1600  *((unsigned int*)t34) = t20;
1601  t35 = (t9 + 4U);
1602  t36 = (t3 != 0);
1603  if(t36 == 1)
1604  goto LAB3;
1605 
1606 LAB2:
1607  t37 = (t9 + 12U);
1608  *((char**)t37) = t4;
1609  t38 = (t9 + 20U);
1610  *((unsigned char*)t38) = t5;
1611  t39 = (t9 + 21U);
1612  *((unsigned char*)t39) = t6;
1613  t40 = (t9 + 22U);
1614  *((unsigned char*)t40) = t7;
1615  t41 = (t10 + 8U);
1616  t42 = *((int*)t41);
1617  t43 = (t10 + 4U);
1618  t44 = *((int*)t43);
1619  t45 = (t10 + 0U);
1620  t46 = *((int*)t45);
1621  t47 = t46;
1622  t48 = t44;
1623 
1624 LAB4:
1625  t49 = (t48 * t42);
1626  t50 = (t47 * t42);
1627  if(t50 <= t49)
1628  goto LAB5;
1629 
1630 LAB7:
1631  t11 = (t26 + 56U);
1632  t14 = *((char**)t11);
1633  t11 = (t21 + 12U);
1634  t12 = *((unsigned int*)t11);
1635  t12 = (t12 * 1U);
1636  t0 = xsi_get_transient_memory(t12);
1637  memcpy(t0, t14, t12);
1638  t15 = (t21 + 0U);
1639  t13 = *((int*)t15);
1640  t22 = (t21 + 4U);
1641  t16 = *((int*)t22);
1642  t25 = (t21 + 8U);
1643  t18 = *((int*)t25);
1644  t29 = (t2 + 0U);
1645  t30 = (t29 + 0U);
1646  *((int*)t30) = t13;
1647  t30 = (t29 + 4U);
1648  *((int*)t30) = t16;
1649  t30 = (t29 + 8U);
1650  *((int*)t30) = t18;
1651  t19 = (t16 - t13);
1652  t17 = (t19 * t18);
1653  t17 = (t17 + 1);
1654  t30 = (t29 + 12U);
1655  *((unsigned int*)t30) = t17;
1656 
1657 LAB1:
1658  return t0;
1659 LAB3:
1660  *((char**)t35) = t3;
1661  goto LAB2;
1662 
1663 LAB5:
1664  t51 = (t3 + 0);
1665  t52 = (t10 + 0U);
1666  t53 = *((int*)t52);
1667  t54 = (t10 + 8U);
1668  t55 = *((int*)t54);
1669  t56 = (t47 - t53);
1670  t28 = (t56 * t55);
1671  t57 = (1U * t28);
1672  t58 = (0 + t57);
1673  t59 = (t51 + t58);
1674  t60 = *((unsigned char*)t59);
1675  t61 = (t60 == (unsigned char)4);
1676  if(t61 != 0)
1677  goto LAB8;
1678 
1679 LAB10:
1680  t11 = (t3 + 0);
1681  t14 = (t10 + 0U);
1682  t13 = *((int*)t14);
1683  t15 = (t10 + 8U);
1684  t16 = *((int*)t15);
1685  t18 = (t47 - t13);
1686  t12 = (t18 * t16);
1687  t17 = (1U * t12);
1688  t20 = (0 + t17);
1689  t22 = (t11 + t20);
1690  t36 = *((unsigned char*)t22);
1691  t60 = (t36 == (unsigned char)0);
1692  if(t60 != 0)
1693  goto LAB11;
1694 
1695 LAB12:
1696  t11 = (t3 + 0);
1697  t14 = (t10 + 0U);
1698  t13 = *((int*)t14);
1699  t15 = (t10 + 8U);
1700  t16 = *((int*)t15);
1701  t18 = (t47 - t13);
1702  t12 = (t18 * t16);
1703  t17 = (1U * t12);
1704  t20 = (0 + t17);
1705  t22 = (t11 + t20);
1706  t36 = *((unsigned char*)t22);
1707  t60 = (t36 == (unsigned char)8);
1708  if(t60 != 0)
1709  goto LAB13;
1710 
1711 LAB14:
1712  t11 = (t3 + 0);
1713  t14 = (t10 + 0U);
1714  t13 = *((int*)t14);
1715  t15 = (t10 + 8U);
1716  t16 = *((int*)t15);
1717  t18 = (t47 - t13);
1718  t12 = (t18 * t16);
1719  t17 = (1U * t12);
1720  t20 = (0 + t17);
1721  t22 = (t11 + t20);
1722  t36 = *((unsigned char*)t22);
1723  t25 = (t26 + 56U);
1724  t29 = *((char**)t25);
1725  t25 = (t21 + 0U);
1726  t19 = *((int*)t25);
1727  t30 = (t21 + 8U);
1728  t24 = *((int*)t30);
1729  t27 = (t47 - t19);
1730  t23 = (t27 * t24);
1731  t32 = (t21 + 4U);
1732  t44 = *((int*)t32);
1733  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
1734  t28 = (1U * t23);
1735  t57 = (0 + t28);
1736  t33 = (t29 + t57);
1737  *((unsigned char*)t33) = t36;
1738 
1739 LAB9:
1740 LAB6:
1741  if(t47 == t48)
1742  goto LAB7;
1743 
1744 LAB15:
1745  t13 = (t47 + t42);
1746  t47 = t13;
1747  goto LAB4;
1748 
1749 LAB8:
1750  t62 = (t26 + 56U);
1751  t63 = *((char**)t62);
1752  t62 = (t21 + 0U);
1753  t64 = *((int*)t62);
1754  t65 = (t21 + 8U);
1755  t66 = *((int*)t65);
1756  t67 = (t47 - t64);
1757  t68 = (t67 * t66);
1758  t69 = (t21 + 4U);
1759  t70 = *((int*)t69);
1760  xsi_vhdl_check_range_of_index(t64, t70, t66, t47);
1761  t71 = (1U * t68);
1762  t72 = (0 + t71);
1763  t73 = (t63 + t72);
1764  *((unsigned char*)t73) = t5;
1765  goto LAB9;
1766 
1767 LAB11:
1768  t25 = (t26 + 56U);
1769  t29 = *((char**)t25);
1770  t25 = (t21 + 0U);
1771  t19 = *((int*)t25);
1772  t30 = (t21 + 8U);
1773  t24 = *((int*)t30);
1774  t27 = (t47 - t19);
1775  t23 = (t27 * t24);
1776  t32 = (t21 + 4U);
1777  t44 = *((int*)t32);
1778  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
1779  t28 = (1U * t23);
1780  t57 = (0 + t28);
1781  t33 = (t29 + t57);
1782  *((unsigned char*)t33) = t6;
1783  goto LAB9;
1784 
1785 LAB13:
1786  t25 = (t26 + 56U);
1787  t29 = *((char**)t25);
1788  t25 = (t21 + 0U);
1789  t19 = *((int*)t25);
1790  t30 = (t21 + 8U);
1791  t24 = *((int*)t30);
1792  t27 = (t47 - t19);
1793  t23 = (t27 * t24);
1794  t32 = (t21 + 4U);
1795  t44 = *((int*)t32);
1796  xsi_vhdl_check_range_of_index(t19, t44, t24, t47);
1797  t28 = (1U * t23);
1798  t57 = (0 + t28);
1799  t33 = (t29 + t57);
1800  *((unsigned char*)t33) = t7;
1801  goto LAB9;
1802 
1803 LAB16:;
1804 }
1805 
1806 char* ieee_p_0017514958_sub_3238471574_1861681735(char* t1,
1807  char* t2,
1808  char* t3,
1809  char* t4,
1810  unsigned char t5,
1811  unsigned char t6,
1812  unsigned char t7,
1813  unsigned char t8,
1814  unsigned char t9,
1815  unsigned char t10,
1816  unsigned char t11,
1817  unsigned char t12)
1818 {
1819  char t13[128];
1820  char t14[32];
1821  char t20[16];
1822  char t34[16];
1823  char* t0;
1824  char* t15;
1825  unsigned int t16;
1826  int t17;
1827  int t18;
1828  unsigned int t19;
1829  char* t21;
1830  unsigned int t22;
1831  int t23;
1832  char* t24;
1833  char* t25;
1834  int t26;
1835  unsigned int t27;
1836  char* t28;
1837  char* t29;
1838  char* t30;
1839  char* t31;
1840  char* t32;
1841  char* t33;
1842  char* t35;
1843  int t36;
1844  char* t37;
1845  char* t38;
1846  int t39;
1847  unsigned int t40;
1848  unsigned char t41;
1849  char* t42;
1850  char* t43;
1851  char* t44;
1852  char* t45;
1853  char* t46;
1854  char* t47;
1855  char* t48;
1856  char* t49;
1857  char* t50;
1858  char* t51;
1859  int t52;
1860  char* t53;
1861  int t54;
1862  char* t55;
1863  int t56;
1864  int t57;
1865  int t58;
1866  int t59;
1867  int t60;
1868  char* t61;
1869  char* t62;
1870  int t63;
1871  char* t64;
1872  int t65;
1873  int t66;
1874  unsigned int t67;
1875  unsigned int t68;
1876  char* t69;
1877  unsigned char t70;
1878  char* t71;
1879  char* t72;
1880  char* t73;
1881  int t74;
1882  char* t75;
1883  int t76;
1884  int t77;
1885  unsigned int t78;
1886  char* t79;
1887  int t80;
1888  unsigned int t81;
1889  unsigned int t82;
1890  char* t83;
1891  static char* nl0[] = {
1892  &&LAB14, &&LAB11, &&LAB9, &&LAB10, &&LAB13, &&LAB12, &&LAB9, &&LAB10, &&LAB15};
1893 
1894 LAB0:
1895  t15 = (t4 + 12U);
1896  t16 = *((unsigned int*)t15);
1897  t17 = (t16 - 1);
1898  t18 = (0 - t17);
1899  t19 = (t18 * -1);
1900  t19 = (t19 + 1);
1901  t19 = (t19 * 1U);
1902  t21 = (t4 + 12U);
1903  t22 = *((unsigned int*)t21);
1904  t23 = (t22 - 1);
1905  t24 = (t20 + 0U);
1906  t25 = (t24 + 0U);
1907  *((int*)t25) = t23;
1908  t25 = (t24 + 4U);
1909  *((int*)t25) = 0;
1910  t25 = (t24 + 8U);
1911  *((int*)t25) = -1;
1912  t26 = (0 - t23);
1913  t27 = (t26 * -1);
1914  t27 = (t27 + 1);
1915  t25 = (t24 + 12U);
1916  *((unsigned int*)t25) = t27;
1917  t25 = (t13 + 4U);
1918  t28 = ((STD_STANDARD) + 1112);
1919  t29 = (t25 + 88U);
1920  *((char**)t29) = t28;
1921  t30 = (char*)alloca(t19);
1922  t31 = (t25 + 56U);
1923  *((char**)t31) = t30;
1924  xsi_type_set_default_value(t28, t30, t20);
1925  t32 = (t25 + 64U);
1926  *((char**)t32) = t20;
1927  t33 = (t25 + 80U);
1928  *((unsigned int*)t33) = t19;
1929  t35 = (t4 + 12U);
1930  t27 = *((unsigned int*)t35);
1931  t36 = (t27 - 1);
1932  t37 = (t34 + 0U);
1933  t38 = (t37 + 0U);
1934  *((int*)t38) = t36;
1935  t38 = (t37 + 4U);
1936  *((int*)t38) = 0;
1937  t38 = (t37 + 8U);
1938  *((int*)t38) = -1;
1939  t39 = (0 - t36);
1940  t40 = (t39 * -1);
1941  t40 = (t40 + 1);
1942  t38 = (t37 + 12U);
1943  *((unsigned int*)t38) = t40;
1944  t38 = (t14 + 4U);
1945  t41 = (t3 != 0);
1946  if(t41 == 1)
1947  goto LAB3;
1948 
1949 LAB2:
1950  t42 = (t14 + 12U);
1951  *((char**)t42) = t4;
1952  t43 = (t14 + 20U);
1953  *((unsigned char*)t43) = t5;
1954  t44 = (t14 + 21U);
1955  *((unsigned char*)t44) = t6;
1956  t45 = (t14 + 22U);
1957  *((unsigned char*)t45) = t7;
1958  t46 = (t14 + 23U);
1959  *((unsigned char*)t46) = t8;
1960  t47 = (t14 + 24U);
1961  *((unsigned char*)t47) = t9;
1962  t48 = (t14 + 25U);
1963  *((unsigned char*)t48) = t10;
1964  t49 = (t14 + 26U);
1965  *((unsigned char*)t49) = t11;
1966  t50 = (t14 + 27U);
1967  *((unsigned char*)t50) = t12;
1968  t51 = (t34 + 8U);
1969  t52 = *((int*)t51);
1970  t53 = (t34 + 4U);
1971  t54 = *((int*)t53);
1972  t55 = (t34 + 0U);
1973  t56 = *((int*)t55);
1974  t57 = t56;
1975  t58 = t54;
1976 
1977 LAB4:
1978  t59 = (t58 * t52);
1979  t60 = (t57 * t52);
1980  if(t60 <= t59)
1981  goto LAB5;
1982 
1983 LAB7:
1984  t15 = (t25 + 56U);
1985  t21 = *((char**)t15);
1986  t15 = (t20 + 12U);
1987  t16 = *((unsigned int*)t15);
1988  t16 = (t16 * 1U);
1989  t0 = xsi_get_transient_memory(t16);
1990  memcpy(t0, t21, t16);
1991  t24 = (t20 + 0U);
1992  t17 = *((int*)t24);
1993  t28 = (t20 + 4U);
1994  t18 = *((int*)t28);
1995  t29 = (t20 + 8U);
1996  t23 = *((int*)t29);
1997  t31 = (t2 + 0U);
1998  t32 = (t31 + 0U);
1999  *((int*)t32) = t17;
2000  t32 = (t31 + 4U);
2001  *((int*)t32) = t18;
2002  t32 = (t31 + 8U);
2003  *((int*)t32) = t23;
2004  t26 = (t18 - t17);
2005  t19 = (t26 * t23);
2006  t19 = (t19 + 1);
2007  t32 = (t31 + 12U);
2008  *((unsigned int*)t32) = t19;
2009 
2010 LAB1:
2011  return t0;
2012 LAB3:
2013  *((char**)t38) = t3;
2014  goto LAB2;
2015 
2016 LAB5:
2017  t61 = (t3 + 0);
2018  t62 = (t34 + 0U);
2019  t63 = *((int*)t62);
2020  t64 = (t34 + 8U);
2021  t65 = *((int*)t64);
2022  t66 = (t57 - t63);
2023  t40 = (t66 * t65);
2024  t67 = (1U * t40);
2025  t68 = (0 + t67);
2026  t69 = (t61 + t68);
2027  t70 = *((unsigned char*)t69);
2028  t71 = (char*)((nl0) + t70);
2029  goto**((char**)t71);
2030 
2031 LAB6:
2032  if(t57 == t58)
2033  goto LAB7;
2034 
2035 LAB41:
2036  t17 = (t57 + t52);
2037  t57 = t17;
2038  goto LAB4;
2039 
2040 LAB8:
2041  goto LAB6;
2042 
2043 LAB9:
2044  t72 = (t25 + 56U);
2045  t73 = *((char**)t72);
2046  t72 = (t20 + 0U);
2047  t74 = *((int*)t72);
2048  t75 = (t20 + 8U);
2049  t76 = *((int*)t75);
2050  t77 = (t57 - t74);
2051  t78 = (t77 * t76);
2052  t79 = (t20 + 4U);
2053  t80 = *((int*)t79);
2054  xsi_vhdl_check_range_of_index(t74, t80, t76, t57);
2055  t81 = (1U * t78);
2056  t82 = (0 + t81);
2057  t83 = (t73 + t82);
2058  *((unsigned char*)t83) = (unsigned char)0;
2059  goto LAB8;
2060 
2061 LAB10:
2062  t15 = (t25 + 56U);
2063  t21 = *((char**)t15);
2064  t15 = (t20 + 0U);
2065  t17 = *((int*)t15);
2066  t24 = (t20 + 8U);
2067  t18 = *((int*)t24);
2068  t23 = (t57 - t17);
2069  t16 = (t23 * t18);
2070  t28 = (t20 + 4U);
2071  t26 = *((int*)t28);
2072  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2073  t19 = (1U * t16);
2074  t22 = (0 + t19);
2075  t29 = (t21 + t22);
2076  *((unsigned char*)t29) = (unsigned char)1;
2077  goto LAB8;
2078 
2079 LAB11:
2080  if(t9 != 0)
2081  goto LAB16;
2082 
2083 LAB18:
2084  t15 = (t25 + 56U);
2085  t21 = *((char**)t15);
2086  t15 = (t20 + 0U);
2087  t17 = *((int*)t15);
2088  t24 = (t20 + 8U);
2089  t18 = *((int*)t24);
2090  t23 = (t57 - t17);
2091  t16 = (t23 * t18);
2092  t28 = (t20 + 4U);
2093  t26 = *((int*)t28);
2094  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2095  t19 = (1U * t16);
2096  t22 = (0 + t19);
2097  t29 = (t21 + t22);
2098  *((unsigned char*)t29) = (unsigned char)0;
2099  if((unsigned char)0 == 0)
2100  goto LAB19;
2101 
2102 LAB20:
2103 LAB17:
2104  goto LAB8;
2105 
2106 LAB12:
2107  if(t9 != 0)
2108  goto LAB21;
2109 
2110 LAB23:
2111  t15 = (t25 + 56U);
2112  t21 = *((char**)t15);
2113  t15 = (t20 + 0U);
2114  t17 = *((int*)t15);
2115  t24 = (t20 + 8U);
2116  t18 = *((int*)t24);
2117  t23 = (t57 - t17);
2118  t16 = (t23 * t18);
2119  t28 = (t20 + 4U);
2120  t26 = *((int*)t28);
2121  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2122  t19 = (1U * t16);
2123  t22 = (0 + t19);
2124  t29 = (t21 + t22);
2125  *((unsigned char*)t29) = (unsigned char)0;
2126  if((unsigned char)0 == 0)
2127  goto LAB24;
2128 
2129 LAB25:
2130 LAB22:
2131  goto LAB8;
2132 
2133 LAB13:
2134  if(t10 != 0)
2135  goto LAB26;
2136 
2137 LAB28:
2138  t15 = (t25 + 56U);
2139  t21 = *((char**)t15);
2140  t15 = (t20 + 0U);
2141  t17 = *((int*)t15);
2142  t24 = (t20 + 8U);
2143  t18 = *((int*)t24);
2144  t23 = (t57 - t17);
2145  t16 = (t23 * t18);
2146  t28 = (t20 + 4U);
2147  t26 = *((int*)t28);
2148  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2149  t19 = (1U * t16);
2150  t22 = (0 + t19);
2151  t29 = (t21 + t22);
2152  *((unsigned char*)t29) = (unsigned char)0;
2153  if((unsigned char)0 == 0)
2154  goto LAB29;
2155 
2156 LAB30:
2157 LAB27:
2158  goto LAB8;
2159 
2160 LAB14:
2161  if(t11 != 0)
2162  goto LAB31;
2163 
2164 LAB33:
2165  t15 = (t25 + 56U);
2166  t21 = *((char**)t15);
2167  t15 = (t20 + 0U);
2168  t17 = *((int*)t15);
2169  t24 = (t20 + 8U);
2170  t18 = *((int*)t24);
2171  t23 = (t57 - t17);
2172  t16 = (t23 * t18);
2173  t28 = (t20 + 4U);
2174  t26 = *((int*)t28);
2175  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2176  t19 = (1U * t16);
2177  t22 = (0 + t19);
2178  t29 = (t21 + t22);
2179  *((unsigned char*)t29) = (unsigned char)0;
2180  if((unsigned char)0 == 0)
2181  goto LAB34;
2182 
2183 LAB35:
2184 LAB32:
2185  goto LAB8;
2186 
2187 LAB15:
2188  if(t12 != 0)
2189  goto LAB36;
2190 
2191 LAB38:
2192  t15 = (t25 + 56U);
2193  t21 = *((char**)t15);
2194  t15 = (t20 + 0U);
2195  t17 = *((int*)t15);
2196  t24 = (t20 + 8U);
2197  t18 = *((int*)t24);
2198  t23 = (t57 - t17);
2199  t16 = (t23 * t18);
2200  t28 = (t20 + 4U);
2201  t26 = *((int*)t28);
2202  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2203  t19 = (1U * t16);
2204  t22 = (0 + t19);
2205  t29 = (t21 + t22);
2206  *((unsigned char*)t29) = (unsigned char)0;
2207  if((unsigned char)0 == 0)
2208  goto LAB39;
2209 
2210 LAB40:
2211 LAB37:
2212  goto LAB8;
2213 
2214 LAB16:
2215  t15 = (t25 + 56U);
2216  t21 = *((char**)t15);
2217  t15 = (t20 + 0U);
2218  t17 = *((int*)t15);
2219  t24 = (t20 + 8U);
2220  t18 = *((int*)t24);
2221  t23 = (t57 - t17);
2222  t16 = (t23 * t18);
2223  t28 = (t20 + 4U);
2224  t26 = *((int*)t28);
2225  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2226  t19 = (1U * t16);
2227  t22 = (0 + t19);
2228  t29 = (t21 + t22);
2229  *((unsigned char*)t29) = t5;
2230  goto LAB17;
2231 
2232 LAB19:
2233  t15 = (t1 + 4844);
2234  xsi_report(t15, 37U, (unsigned char)1);
2235  goto LAB20;
2236 
2237 LAB21:
2238  t15 = (t25 + 56U);
2239  t21 = *((char**)t15);
2240  t15 = (t20 + 0U);
2241  t17 = *((int*)t15);
2242  t24 = (t20 + 8U);
2243  t18 = *((int*)t24);
2244  t23 = (t57 - t17);
2245  t16 = (t23 * t18);
2246  t28 = (t20 + 4U);
2247  t26 = *((int*)t28);
2248  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2249  t19 = (1U * t16);
2250  t22 = (0 + t19);
2251  t29 = (t21 + t22);
2252  *((unsigned char*)t29) = t5;
2253  goto LAB22;
2254 
2255 LAB24:
2256  t15 = (t1 + 4881);
2257  xsi_report(t15, 37U, (unsigned char)1);
2258  goto LAB25;
2259 
2260 LAB26:
2261  t15 = (t25 + 56U);
2262  t21 = *((char**)t15);
2263  t15 = (t20 + 0U);
2264  t17 = *((int*)t15);
2265  t24 = (t20 + 8U);
2266  t18 = *((int*)t24);
2267  t23 = (t57 - t17);
2268  t16 = (t23 * t18);
2269  t28 = (t20 + 4U);
2270  t26 = *((int*)t28);
2271  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2272  t19 = (1U * t16);
2273  t22 = (0 + t19);
2274  t29 = (t21 + t22);
2275  *((unsigned char*)t29) = t6;
2276  goto LAB27;
2277 
2278 LAB29:
2279  t15 = (t1 + 4918);
2280  xsi_report(t15, 37U, (unsigned char)1);
2281  goto LAB30;
2282 
2283 LAB31:
2284  t15 = (t25 + 56U);
2285  t21 = *((char**)t15);
2286  t15 = (t20 + 0U);
2287  t17 = *((int*)t15);
2288  t24 = (t20 + 8U);
2289  t18 = *((int*)t24);
2290  t23 = (t57 - t17);
2291  t16 = (t23 * t18);
2292  t28 = (t20 + 4U);
2293  t26 = *((int*)t28);
2294  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2295  t19 = (1U * t16);
2296  t22 = (0 + t19);
2297  t29 = (t21 + t22);
2298  *((unsigned char*)t29) = t7;
2299  goto LAB32;
2300 
2301 LAB34:
2302  t15 = (t1 + 4955);
2303  xsi_report(t15, 37U, (unsigned char)1);
2304  goto LAB35;
2305 
2306 LAB36:
2307  t15 = (t25 + 56U);
2308  t21 = *((char**)t15);
2309  t15 = (t20 + 0U);
2310  t17 = *((int*)t15);
2311  t24 = (t20 + 8U);
2312  t18 = *((int*)t24);
2313  t23 = (t57 - t17);
2314  t16 = (t23 * t18);
2315  t28 = (t20 + 4U);
2316  t26 = *((int*)t28);
2317  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2318  t19 = (1U * t16);
2319  t22 = (0 + t19);
2320  t29 = (t21 + t22);
2321  *((unsigned char*)t29) = t8;
2322  goto LAB37;
2323 
2324 LAB39:
2325  t15 = (t1 + 4992);
2326  xsi_report(t15, 37U, (unsigned char)1);
2327  goto LAB40;
2328 
2329 LAB42:;
2330 }
2331 
2332 char* ieee_p_0017514958_sub_3008817869_1861681735(char* t1,
2333  char* t2,
2334  char* t3,
2335  char* t4,
2336  unsigned char t5,
2337  unsigned char t6,
2338  unsigned char t7,
2339  unsigned char t8,
2340  unsigned char t9,
2341  unsigned char t10,
2342  unsigned char t11,
2343  unsigned char t12)
2344 {
2345  char t13[128];
2346  char t14[32];
2347  char t20[16];
2348  char t34[16];
2349  char* t0;
2350  char* t15;
2351  unsigned int t16;
2352  int t17;
2353  int t18;
2354  unsigned int t19;
2355  char* t21;
2356  unsigned int t22;
2357  int t23;
2358  char* t24;
2359  char* t25;
2360  int t26;
2361  unsigned int t27;
2362  char* t28;
2363  char* t29;
2364  char* t30;
2365  char* t31;
2366  char* t32;
2367  char* t33;
2368  char* t35;
2369  int t36;
2370  char* t37;
2371  char* t38;
2372  int t39;
2373  unsigned int t40;
2374  unsigned char t41;
2375  char* t42;
2376  char* t43;
2377  char* t44;
2378  char* t45;
2379  char* t46;
2380  char* t47;
2381  char* t48;
2382  char* t49;
2383  char* t50;
2384  char* t51;
2385  int t52;
2386  char* t53;
2387  int t54;
2388  char* t55;
2389  int t56;
2390  int t57;
2391  int t58;
2392  int t59;
2393  int t60;
2394  char* t61;
2395  char* t62;
2396  int t63;
2397  char* t64;
2398  int t65;
2399  int t66;
2400  unsigned int t67;
2401  unsigned int t68;
2402  char* t69;
2403  unsigned char t70;
2404  char* t71;
2405  char* t72;
2406  char* t73;
2407  int t74;
2408  char* t75;
2409  int t76;
2410  int t77;
2411  unsigned int t78;
2412  char* t79;
2413  int t80;
2414  unsigned int t81;
2415  unsigned int t82;
2416  char* t83;
2417  static char* nl0[] = {
2418  &&LAB14, &&LAB11, &&LAB9, &&LAB10, &&LAB13, &&LAB12, &&LAB9, &&LAB10, &&LAB15};
2419 
2420 LAB0:
2421  t15 = (t4 + 12U);
2422  t16 = *((unsigned int*)t15);
2423  t17 = (t16 - 1);
2424  t18 = (0 - t17);
2425  t19 = (t18 * -1);
2426  t19 = (t19 + 1);
2427  t19 = (t19 * 1U);
2428  t21 = (t4 + 12U);
2429  t22 = *((unsigned int*)t21);
2430  t23 = (t22 - 1);
2431  t24 = (t20 + 0U);
2432  t25 = (t24 + 0U);
2433  *((int*)t25) = t23;
2434  t25 = (t24 + 4U);
2435  *((int*)t25) = 0;
2436  t25 = (t24 + 8U);
2437  *((int*)t25) = -1;
2438  t26 = (0 - t23);
2439  t27 = (t26 * -1);
2440  t27 = (t27 + 1);
2441  t25 = (t24 + 12U);
2442  *((unsigned int*)t25) = t27;
2443  t25 = (t13 + 4U);
2444  t28 = ((STD_STANDARD) + 1112);
2445  t29 = (t25 + 88U);
2446  *((char**)t29) = t28;
2447  t30 = (char*)alloca(t19);
2448  t31 = (t25 + 56U);
2449  *((char**)t31) = t30;
2450  xsi_type_set_default_value(t28, t30, t20);
2451  t32 = (t25 + 64U);
2452  *((char**)t32) = t20;
2453  t33 = (t25 + 80U);
2454  *((unsigned int*)t33) = t19;
2455  t35 = (t4 + 12U);
2456  t27 = *((unsigned int*)t35);
2457  t36 = (t27 - 1);
2458  t37 = (t34 + 0U);
2459  t38 = (t37 + 0U);
2460  *((int*)t38) = t36;
2461  t38 = (t37 + 4U);
2462  *((int*)t38) = 0;
2463  t38 = (t37 + 8U);
2464  *((int*)t38) = -1;
2465  t39 = (0 - t36);
2466  t40 = (t39 * -1);
2467  t40 = (t40 + 1);
2468  t38 = (t37 + 12U);
2469  *((unsigned int*)t38) = t40;
2470  t38 = (t14 + 4U);
2471  t41 = (t3 != 0);
2472  if(t41 == 1)
2473  goto LAB3;
2474 
2475 LAB2:
2476  t42 = (t14 + 12U);
2477  *((char**)t42) = t4;
2478  t43 = (t14 + 20U);
2479  *((unsigned char*)t43) = t5;
2480  t44 = (t14 + 21U);
2481  *((unsigned char*)t44) = t6;
2482  t45 = (t14 + 22U);
2483  *((unsigned char*)t45) = t7;
2484  t46 = (t14 + 23U);
2485  *((unsigned char*)t46) = t8;
2486  t47 = (t14 + 24U);
2487  *((unsigned char*)t47) = t9;
2488  t48 = (t14 + 25U);
2489  *((unsigned char*)t48) = t10;
2490  t49 = (t14 + 26U);
2491  *((unsigned char*)t49) = t11;
2492  t50 = (t14 + 27U);
2493  *((unsigned char*)t50) = t12;
2494  t51 = (t34 + 8U);
2495  t52 = *((int*)t51);
2496  t53 = (t34 + 4U);
2497  t54 = *((int*)t53);
2498  t55 = (t34 + 0U);
2499  t56 = *((int*)t55);
2500  t57 = t56;
2501  t58 = t54;
2502 
2503 LAB4:
2504  t59 = (t58 * t52);
2505  t60 = (t57 * t52);
2506  if(t60 <= t59)
2507  goto LAB5;
2508 
2509 LAB7:
2510  t15 = (t25 + 56U);
2511  t21 = *((char**)t15);
2512  t15 = (t20 + 12U);
2513  t16 = *((unsigned int*)t15);
2514  t16 = (t16 * 1U);
2515  t0 = xsi_get_transient_memory(t16);
2516  memcpy(t0, t21, t16);
2517  t24 = (t20 + 0U);
2518  t17 = *((int*)t24);
2519  t28 = (t20 + 4U);
2520  t18 = *((int*)t28);
2521  t29 = (t20 + 8U);
2522  t23 = *((int*)t29);
2523  t31 = (t2 + 0U);
2524  t32 = (t31 + 0U);
2525  *((int*)t32) = t17;
2526  t32 = (t31 + 4U);
2527  *((int*)t32) = t18;
2528  t32 = (t31 + 8U);
2529  *((int*)t32) = t23;
2530  t26 = (t18 - t17);
2531  t19 = (t26 * t23);
2532  t19 = (t19 + 1);
2533  t32 = (t31 + 12U);
2534  *((unsigned int*)t32) = t19;
2535 
2536 LAB1:
2537  return t0;
2538 LAB3:
2539  *((char**)t38) = t3;
2540  goto LAB2;
2541 
2542 LAB5:
2543  t61 = (t3 + 0);
2544  t62 = (t34 + 0U);
2545  t63 = *((int*)t62);
2546  t64 = (t34 + 8U);
2547  t65 = *((int*)t64);
2548  t66 = (t57 - t63);
2549  t40 = (t66 * t65);
2550  t67 = (1U * t40);
2551  t68 = (0 + t67);
2552  t69 = (t61 + t68);
2553  t70 = *((unsigned char*)t69);
2554  t71 = (char*)((nl0) + t70);
2555  goto**((char**)t71);
2556 
2557 LAB6:
2558  if(t57 == t58)
2559  goto LAB7;
2560 
2561 LAB41:
2562  t17 = (t57 + t52);
2563  t57 = t17;
2564  goto LAB4;
2565 
2566 LAB8:
2567  goto LAB6;
2568 
2569 LAB9:
2570  t72 = (t25 + 56U);
2571  t73 = *((char**)t72);
2572  t72 = (t20 + 0U);
2573  t74 = *((int*)t72);
2574  t75 = (t20 + 8U);
2575  t76 = *((int*)t75);
2576  t77 = (t57 - t74);
2577  t78 = (t77 * t76);
2578  t79 = (t20 + 4U);
2579  t80 = *((int*)t79);
2580  xsi_vhdl_check_range_of_index(t74, t80, t76, t57);
2581  t81 = (1U * t78);
2582  t82 = (0 + t81);
2583  t83 = (t73 + t82);
2584  *((unsigned char*)t83) = (unsigned char)0;
2585  goto LAB8;
2586 
2587 LAB10:
2588  t15 = (t25 + 56U);
2589  t21 = *((char**)t15);
2590  t15 = (t20 + 0U);
2591  t17 = *((int*)t15);
2592  t24 = (t20 + 8U);
2593  t18 = *((int*)t24);
2594  t23 = (t57 - t17);
2595  t16 = (t23 * t18);
2596  t28 = (t20 + 4U);
2597  t26 = *((int*)t28);
2598  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2599  t19 = (1U * t16);
2600  t22 = (0 + t19);
2601  t29 = (t21 + t22);
2602  *((unsigned char*)t29) = (unsigned char)1;
2603  goto LAB8;
2604 
2605 LAB11:
2606  if(t9 != 0)
2607  goto LAB16;
2608 
2609 LAB18:
2610  t15 = (t25 + 56U);
2611  t21 = *((char**)t15);
2612  t15 = (t20 + 0U);
2613  t17 = *((int*)t15);
2614  t24 = (t20 + 8U);
2615  t18 = *((int*)t24);
2616  t23 = (t57 - t17);
2617  t16 = (t23 * t18);
2618  t28 = (t20 + 4U);
2619  t26 = *((int*)t28);
2620  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2621  t19 = (1U * t16);
2622  t22 = (0 + t19);
2623  t29 = (t21 + t22);
2624  *((unsigned char*)t29) = (unsigned char)0;
2625  if((unsigned char)0 == 0)
2626  goto LAB19;
2627 
2628 LAB20:
2629 LAB17:
2630  goto LAB8;
2631 
2632 LAB12:
2633  if(t9 != 0)
2634  goto LAB21;
2635 
2636 LAB23:
2637  t15 = (t25 + 56U);
2638  t21 = *((char**)t15);
2639  t15 = (t20 + 0U);
2640  t17 = *((int*)t15);
2641  t24 = (t20 + 8U);
2642  t18 = *((int*)t24);
2643  t23 = (t57 - t17);
2644  t16 = (t23 * t18);
2645  t28 = (t20 + 4U);
2646  t26 = *((int*)t28);
2647  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2648  t19 = (1U * t16);
2649  t22 = (0 + t19);
2650  t29 = (t21 + t22);
2651  *((unsigned char*)t29) = (unsigned char)0;
2652  if((unsigned char)0 == 0)
2653  goto LAB24;
2654 
2655 LAB25:
2656 LAB22:
2657  goto LAB8;
2658 
2659 LAB13:
2660  if(t10 != 0)
2661  goto LAB26;
2662 
2663 LAB28:
2664  t15 = (t25 + 56U);
2665  t21 = *((char**)t15);
2666  t15 = (t20 + 0U);
2667  t17 = *((int*)t15);
2668  t24 = (t20 + 8U);
2669  t18 = *((int*)t24);
2670  t23 = (t57 - t17);
2671  t16 = (t23 * t18);
2672  t28 = (t20 + 4U);
2673  t26 = *((int*)t28);
2674  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2675  t19 = (1U * t16);
2676  t22 = (0 + t19);
2677  t29 = (t21 + t22);
2678  *((unsigned char*)t29) = (unsigned char)0;
2679  if((unsigned char)0 == 0)
2680  goto LAB29;
2681 
2682 LAB30:
2683 LAB27:
2684  goto LAB8;
2685 
2686 LAB14:
2687  if(t11 != 0)
2688  goto LAB31;
2689 
2690 LAB33:
2691  t15 = (t25 + 56U);
2692  t21 = *((char**)t15);
2693  t15 = (t20 + 0U);
2694  t17 = *((int*)t15);
2695  t24 = (t20 + 8U);
2696  t18 = *((int*)t24);
2697  t23 = (t57 - t17);
2698  t16 = (t23 * t18);
2699  t28 = (t20 + 4U);
2700  t26 = *((int*)t28);
2701  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2702  t19 = (1U * t16);
2703  t22 = (0 + t19);
2704  t29 = (t21 + t22);
2705  *((unsigned char*)t29) = (unsigned char)0;
2706  if((unsigned char)0 == 0)
2707  goto LAB34;
2708 
2709 LAB35:
2710 LAB32:
2711  goto LAB8;
2712 
2713 LAB15:
2714  if(t12 != 0)
2715  goto LAB36;
2716 
2717 LAB38:
2718  t15 = (t25 + 56U);
2719  t21 = *((char**)t15);
2720  t15 = (t20 + 0U);
2721  t17 = *((int*)t15);
2722  t24 = (t20 + 8U);
2723  t18 = *((int*)t24);
2724  t23 = (t57 - t17);
2725  t16 = (t23 * t18);
2726  t28 = (t20 + 4U);
2727  t26 = *((int*)t28);
2728  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2729  t19 = (1U * t16);
2730  t22 = (0 + t19);
2731  t29 = (t21 + t22);
2732  *((unsigned char*)t29) = (unsigned char)0;
2733  if((unsigned char)0 == 0)
2734  goto LAB39;
2735 
2736 LAB40:
2737 LAB37:
2738  goto LAB8;
2739 
2740 LAB16:
2741  t15 = (t25 + 56U);
2742  t21 = *((char**)t15);
2743  t15 = (t20 + 0U);
2744  t17 = *((int*)t15);
2745  t24 = (t20 + 8U);
2746  t18 = *((int*)t24);
2747  t23 = (t57 - t17);
2748  t16 = (t23 * t18);
2749  t28 = (t20 + 4U);
2750  t26 = *((int*)t28);
2751  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2752  t19 = (1U * t16);
2753  t22 = (0 + t19);
2754  t29 = (t21 + t22);
2755  *((unsigned char*)t29) = t5;
2756  goto LAB17;
2757 
2758 LAB19:
2759  t15 = (t1 + 5029);
2760  xsi_report(t15, 38U, (unsigned char)1);
2761  goto LAB20;
2762 
2763 LAB21:
2764  t15 = (t25 + 56U);
2765  t21 = *((char**)t15);
2766  t15 = (t20 + 0U);
2767  t17 = *((int*)t15);
2768  t24 = (t20 + 8U);
2769  t18 = *((int*)t24);
2770  t23 = (t57 - t17);
2771  t16 = (t23 * t18);
2772  t28 = (t20 + 4U);
2773  t26 = *((int*)t28);
2774  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2775  t19 = (1U * t16);
2776  t22 = (0 + t19);
2777  t29 = (t21 + t22);
2778  *((unsigned char*)t29) = t5;
2779  goto LAB22;
2780 
2781 LAB24:
2782  t15 = (t1 + 5067);
2783  xsi_report(t15, 38U, (unsigned char)1);
2784  goto LAB25;
2785 
2786 LAB26:
2787  t15 = (t25 + 56U);
2788  t21 = *((char**)t15);
2789  t15 = (t20 + 0U);
2790  t17 = *((int*)t15);
2791  t24 = (t20 + 8U);
2792  t18 = *((int*)t24);
2793  t23 = (t57 - t17);
2794  t16 = (t23 * t18);
2795  t28 = (t20 + 4U);
2796  t26 = *((int*)t28);
2797  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2798  t19 = (1U * t16);
2799  t22 = (0 + t19);
2800  t29 = (t21 + t22);
2801  *((unsigned char*)t29) = t6;
2802  goto LAB27;
2803 
2804 LAB29:
2805  t15 = (t1 + 5105);
2806  xsi_report(t15, 38U, (unsigned char)1);
2807  goto LAB30;
2808 
2809 LAB31:
2810  t15 = (t25 + 56U);
2811  t21 = *((char**)t15);
2812  t15 = (t20 + 0U);
2813  t17 = *((int*)t15);
2814  t24 = (t20 + 8U);
2815  t18 = *((int*)t24);
2816  t23 = (t57 - t17);
2817  t16 = (t23 * t18);
2818  t28 = (t20 + 4U);
2819  t26 = *((int*)t28);
2820  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2821  t19 = (1U * t16);
2822  t22 = (0 + t19);
2823  t29 = (t21 + t22);
2824  *((unsigned char*)t29) = t7;
2825  goto LAB32;
2826 
2827 LAB34:
2828  t15 = (t1 + 5143);
2829  xsi_report(t15, 38U, (unsigned char)1);
2830  goto LAB35;
2831 
2832 LAB36:
2833  t15 = (t25 + 56U);
2834  t21 = *((char**)t15);
2835  t15 = (t20 + 0U);
2836  t17 = *((int*)t15);
2837  t24 = (t20 + 8U);
2838  t18 = *((int*)t24);
2839  t23 = (t57 - t17);
2840  t16 = (t23 * t18);
2841  t28 = (t20 + 4U);
2842  t26 = *((int*)t28);
2843  xsi_vhdl_check_range_of_index(t17, t26, t18, t57);
2844  t19 = (1U * t16);
2845  t22 = (0 + t19);
2846  t29 = (t21 + t22);
2847  *((unsigned char*)t29) = t8;
2848  goto LAB37;
2849 
2850 LAB39:
2851  t15 = (t1 + 5181);
2852  xsi_report(t15, 38U, (unsigned char)1);
2853  goto LAB40;
2854 
2855 LAB42:;
2856 }
2857 
2858 unsigned char ieee_p_0017514958_sub_3317430977_1861681735(char* t1,
2859  unsigned char t2,
2860  unsigned char t3,
2861  unsigned char t4,
2862  unsigned char t5,
2863  unsigned char t6,
2864  unsigned char t7,
2865  unsigned char t8,
2866  unsigned char t9,
2867  unsigned char t10)
2868 {
2869  char t11[128];
2870  char t12[16];
2871  char t16[8];
2872  unsigned char t0;
2873  char* t13;
2874  char* t14;
2875  char* t15;
2876  char* t17;
2877  char* t18;
2878  char* t19;
2879  char* t20;
2880  char* t21;
2881  char* t22;
2882  char* t23;
2883  char* t24;
2884  char* t25;
2885  char* t26;
2886  char* t27;
2887  char* t28;
2888  char* t29;
2889  char* t30;
2890  unsigned char t31;
2891  static char* nl0[] = {
2892  &&LAB8, &&LAB5, &&LAB3, &&LAB4, &&LAB7, &&LAB6, &&LAB3, &&LAB4, &&LAB9};
2893 
2894 LAB0:
2895  t13 = (t11 + 4U);
2896  t14 = ((STD_STANDARD) + 96);
2897  t15 = (t13 + 88U);
2898  *((char**)t15) = t14;
2899  t17 = (t13 + 56U);
2900  *((char**)t17) = t16;
2901  xsi_type_set_default_value(t14, t16, 0);
2902  t18 = (t13 + 80U);
2903  *((unsigned int*)t18) = 1U;
2904  t19 = (t12 + 4U);
2905  *((unsigned char*)t19) = t2;
2906  t20 = (t12 + 5U);
2907  *((unsigned char*)t20) = t3;
2908  t21 = (t12 + 6U);
2909  *((unsigned char*)t21) = t4;
2910  t22 = (t12 + 7U);
2911  *((unsigned char*)t22) = t5;
2912  t23 = (t12 + 8U);
2913  *((unsigned char*)t23) = t6;
2914  t24 = (t12 + 9U);
2915  *((unsigned char*)t24) = t7;
2916  t25 = (t12 + 10U);
2917  *((unsigned char*)t25) = t8;
2918  t26 = (t12 + 11U);
2919  *((unsigned char*)t26) = t9;
2920  t27 = (t12 + 12U);
2921  *((unsigned char*)t27) = t10;
2922  t28 = (char*)((nl0) + t2);
2923  goto**((char**)t28);
2924 
2925 LAB2:
2926  t14 = (t13 + 56U);
2927  t15 = *((char**)t14);
2928  t31 = *((unsigned char*)t15);
2929  t0 = t31;
2930 
2931 LAB1:
2932  return t0;
2933 LAB3:
2934  t29 = (t13 + 56U);
2935  t30 = *((char**)t29);
2936  t29 = (t30 + 0);
2937  *((unsigned char*)t29) = (unsigned char)0;
2938  goto LAB2;
2939 
2940 LAB4:
2941  t14 = (t13 + 56U);
2942  t15 = *((char**)t14);
2943  t14 = (t15 + 0);
2944  *((unsigned char*)t14) = (unsigned char)1;
2945  goto LAB2;
2946 
2947 LAB5:
2948  if(t7 != 0)
2949  goto LAB10;
2950 
2951 LAB12:
2952  t14 = (t13 + 56U);
2953  t15 = *((char**)t14);
2954  t14 = (t15 + 0);
2955  *((unsigned char*)t14) = (unsigned char)0;
2956  if((unsigned char)0 == 0)
2957  goto LAB13;
2958 
2959 LAB14:
2960 LAB11:
2961  goto LAB2;
2962 
2963 LAB6:
2964  if(t7 != 0)
2965  goto LAB15;
2966 
2967 LAB17:
2968  t14 = (t13 + 56U);
2969  t15 = *((char**)t14);
2970  t14 = (t15 + 0);
2971  *((unsigned char*)t14) = (unsigned char)0;
2972  if((unsigned char)0 == 0)
2973  goto LAB18;
2974 
2975 LAB19:
2976 LAB16:
2977  goto LAB2;
2978 
2979 LAB7:
2980  if(t8 != 0)
2981  goto LAB20;
2982 
2983 LAB22:
2984  t14 = (t13 + 56U);
2985  t15 = *((char**)t14);
2986  t14 = (t15 + 0);
2987  *((unsigned char*)t14) = (unsigned char)0;
2988  if((unsigned char)0 == 0)
2989  goto LAB23;
2990 
2991 LAB24:
2992 LAB21:
2993  goto LAB2;
2994 
2995 LAB8:
2996  if(t9 != 0)
2997  goto LAB25;
2998 
2999 LAB27:
3000  t14 = (t13 + 56U);
3001  t15 = *((char**)t14);
3002  t14 = (t15 + 0);
3003  *((unsigned char*)t14) = (unsigned char)0;
3004  if((unsigned char)0 == 0)
3005  goto LAB28;
3006 
3007 LAB29:
3008 LAB26:
3009  goto LAB2;
3010 
3011 LAB9:
3012  if(t10 != 0)
3013  goto LAB30;
3014 
3015 LAB32:
3016  t14 = (t13 + 56U);
3017  t15 = *((char**)t14);
3018  t14 = (t15 + 0);
3019  *((unsigned char*)t14) = (unsigned char)0;
3020  if((unsigned char)0 == 0)
3021  goto LAB33;
3022 
3023 LAB34:
3024 LAB31:
3025  goto LAB2;
3026 
3027 LAB10:
3028  t14 = (t13 + 56U);
3029  t15 = *((char**)t14);
3030  t14 = (t15 + 0);
3031  *((unsigned char*)t14) = t3;
3032  goto LAB11;
3033 
3034 LAB13:
3035  t14 = (t1 + 5219);
3036  xsi_report(t14, 24U, (unsigned char)1);
3037  goto LAB14;
3038 
3039 LAB15:
3040  t14 = (t13 + 56U);
3041  t15 = *((char**)t14);
3042  t14 = (t15 + 0);
3043  *((unsigned char*)t14) = t3;
3044  goto LAB16;
3045 
3046 LAB18:
3047  t14 = (t1 + 5243);
3048  xsi_report(t14, 24U, (unsigned char)1);
3049  goto LAB19;
3050 
3051 LAB20:
3052  t14 = (t13 + 56U);
3053  t15 = *((char**)t14);
3054  t14 = (t15 + 0);
3055  *((unsigned char*)t14) = t4;
3056  goto LAB21;
3057 
3058 LAB23:
3059  t14 = (t1 + 5267);
3060  xsi_report(t14, 24U, (unsigned char)1);
3061  goto LAB24;
3062 
3063 LAB25:
3064  t14 = (t13 + 56U);
3065  t15 = *((char**)t14);
3066  t14 = (t15 + 0);
3067  *((unsigned char*)t14) = t5;
3068  goto LAB26;
3069 
3070 LAB28:
3071  t14 = (t1 + 5291);
3072  xsi_report(t14, 24U, (unsigned char)1);
3073  goto LAB29;
3074 
3075 LAB30:
3076  t14 = (t13 + 56U);
3077  t15 = *((char**)t14);
3078  t14 = (t15 + 0);
3079  *((unsigned char*)t14) = t6;
3080  goto LAB31;
3081 
3082 LAB33:
3083  t14 = (t1 + 5315);
3084  xsi_report(t14, 24U, (unsigned char)1);
3085  goto LAB34;
3086 
3087 LAB35:;
3088 }
3089 
3090 unsigned char ieee_p_0017514958_sub_2737647089_1861681735(char* t1, char* t2, char* t3)
3091 {
3092  char t4[128];
3093  char t5[24];
3094  char t9[8];
3095  unsigned char t0;
3096  char* t6;
3097  char* t7;
3098  char* t8;
3099  char* t10;
3100  char* t11;
3101  char* t12;
3102  unsigned char t13;
3103  char* t14;
3104  char* t15;
3105  char* t16;
3106  int t17;
3107  int t18;
3108  int t19;
3109  int t20;
3110  int t21;
3111  int t22;
3112  int t23;
3113  int t24;
3114  int t25;
3115  int t26;
3116  unsigned int t27;
3117  unsigned int t28;
3118  unsigned int t29;
3119  char* t30;
3120  unsigned char t31;
3121  unsigned char t32;
3122  char* t33;
3123  char* t34;
3124 
3125 LAB0:
3126  t6 = (t4 + 4U);
3127  t7 = ((IEEE_P_2592010699) + 3320);
3128  t8 = (t6 + 88U);
3129  *((char**)t8) = t7;
3130  t10 = (t6 + 56U);
3131  *((char**)t10) = t9;
3132  xsi_type_set_default_value(t7, t9, 0);
3133  t11 = (t6 + 80U);
3134  *((unsigned int*)t11) = 1U;
3135  t12 = (t5 + 4U);
3136  t13 = (t2 != 0);
3137  if(t13 == 1)
3138  goto LAB3;
3139 
3140 LAB2:
3141  t14 = (t5 + 12U);
3142  *((char**)t14) = t3;
3143  t15 = (t6 + 56U);
3144  t16 = *((char**)t15);
3145  t15 = (t16 + 0);
3146  *((unsigned char*)t15) = (unsigned char)3;
3147  t7 = (t3 + 8U);
3148  t17 = *((int*)t7);
3149  t8 = (t3 + 4U);
3150  t18 = *((int*)t8);
3151  t10 = (t3 + 0U);
3152  t19 = *((int*)t10);
3153  t20 = t19;
3154  t21 = t18;
3155 
3156 LAB4:
3157  t22 = (t21 * t17);
3158  t23 = (t20 * t17);
3159  if(t23 <= t22)
3160  goto LAB5;
3161 
3162 LAB7:
3163  t7 = (t6 + 56U);
3164  t8 = *((char**)t7);
3165  t13 = *((unsigned char*)t8);
3166  t0 = t13;
3167 
3168 LAB1:
3169  return t0;
3170 LAB3:
3171  *((char**)t12) = t2;
3172  goto LAB2;
3173 
3174 LAB5:
3175  t11 = (t6 + 56U);
3176  t15 = *((char**)t11);
3177  t13 = *((unsigned char*)t15);
3178  t11 = (t3 + 0U);
3179  t24 = *((int*)t11);
3180  t16 = (t3 + 8U);
3181  t25 = *((int*)t16);
3182  t26 = (t20 - t24);
3183  t27 = (t26 * t25);
3184  t28 = (1U * t27);
3185  t29 = (0 + t28);
3186  t30 = (t2 + t29);
3187  t31 = *((unsigned char*)t30);
3188  t32 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t13, t31);
3189  t33 = (t6 + 56U);
3190  t34 = *((char**)t33);
3191  t33 = (t34 + 0);
3192  *((unsigned char*)t33) = t32;
3193 
3194 LAB6:
3195  if(t20 == t21)
3196  goto LAB7;
3197 
3198 LAB8:
3199  t18 = (t20 + t17);
3200  t20 = t18;
3201  goto LAB4;
3202 
3203 LAB9:;
3204 }
3205 
3206 unsigned char ieee_p_0017514958_sub_3592147051_1861681735(char* t1, char* t2, char* t3)
3207 {
3208  char t5[24];
3209  unsigned char t0;
3210  char* t6;
3211  unsigned char t7;
3212  char* t8;
3213  unsigned char t9;
3214  unsigned char t10;
3215 
3216 LAB0:
3217  t6 = (t5 + 4U);
3218  t7 = (t2 != 0);
3219  if(t7 == 1)
3220  goto LAB3;
3221 
3222 LAB2:
3223  t8 = (t5 + 12U);
3224  *((char**)t8) = t3;
3225  t9 = ieee_p_0017514958_sub_2737647089_1861681735(t1, t2, t3);
3226  t10 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t9);
3227  t0 = t10;
3228 
3229 LAB1:
3230  return t0;
3231 LAB3:
3232  *((char**)t6) = t2;
3233  goto LAB2;
3234 
3235 LAB4:;
3236 }
3237 
3238 unsigned char ieee_p_0017514958_sub_1739486367_1861681735(char* t1, char* t2, char* t3)
3239 {
3240  char t4[128];
3241  char t5[24];
3242  char t9[8];
3243  unsigned char t0;
3244  char* t6;
3245  char* t7;
3246  char* t8;
3247  char* t10;
3248  char* t11;
3249  char* t12;
3250  unsigned char t13;
3251  char* t14;
3252  char* t15;
3253  char* t16;
3254  int t17;
3255  int t18;
3256  int t19;
3257  int t20;
3258  int t21;
3259  int t22;
3260  int t23;
3261  int t24;
3262  int t25;
3263  int t26;
3264  unsigned int t27;
3265  unsigned int t28;
3266  unsigned int t29;
3267  char* t30;
3268  unsigned char t31;
3269  unsigned char t32;
3270  char* t33;
3271  char* t34;
3272 
3273 LAB0:
3274  t6 = (t4 + 4U);
3275  t7 = ((IEEE_P_2592010699) + 3320);
3276  t8 = (t6 + 88U);
3277  *((char**)t8) = t7;
3278  t10 = (t6 + 56U);
3279  *((char**)t10) = t9;
3280  xsi_type_set_default_value(t7, t9, 0);
3281  t11 = (t6 + 80U);
3282  *((unsigned int*)t11) = 1U;
3283  t12 = (t5 + 4U);
3284  t13 = (t2 != 0);
3285  if(t13 == 1)
3286  goto LAB3;
3287 
3288 LAB2:
3289  t14 = (t5 + 12U);
3290  *((char**)t14) = t3;
3291  t15 = (t6 + 56U);
3292  t16 = *((char**)t15);
3293  t15 = (t16 + 0);
3294  *((unsigned char*)t15) = (unsigned char)2;
3295  t7 = (t3 + 8U);
3296  t17 = *((int*)t7);
3297  t8 = (t3 + 4U);
3298  t18 = *((int*)t8);
3299  t10 = (t3 + 0U);
3300  t19 = *((int*)t10);
3301  t20 = t19;
3302  t21 = t18;
3303 
3304 LAB4:
3305  t22 = (t21 * t17);
3306  t23 = (t20 * t17);
3307  if(t23 <= t22)
3308  goto LAB5;
3309 
3310 LAB7:
3311  t7 = (t6 + 56U);
3312  t8 = *((char**)t7);
3313  t13 = *((unsigned char*)t8);
3314  t0 = t13;
3315 
3316 LAB1:
3317  return t0;
3318 LAB3:
3319  *((char**)t12) = t2;
3320  goto LAB2;
3321 
3322 LAB5:
3323  t11 = (t6 + 56U);
3324  t15 = *((char**)t11);
3325  t13 = *((unsigned char*)t15);
3326  t11 = (t3 + 0U);
3327  t24 = *((int*)t11);
3328  t16 = (t3 + 8U);
3329  t25 = *((int*)t16);
3330  t26 = (t20 - t24);
3331  t27 = (t26 * t25);
3332  t28 = (1U * t27);
3333  t29 = (0 + t28);
3334  t30 = (t2 + t29);
3335  t31 = *((unsigned char*)t30);
3336  t32 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t13, t31);
3337  t33 = (t6 + 56U);
3338  t34 = *((char**)t33);
3339  t33 = (t34 + 0);
3340  *((unsigned char*)t33) = t32;
3341 
3342 LAB6:
3343  if(t20 == t21)
3344  goto LAB7;
3345 
3346 LAB8:
3347  t18 = (t20 + t17);
3348  t20 = t18;
3349  goto LAB4;
3350 
3351 LAB9:;
3352 }
3353 
3354 unsigned char ieee_p_0017514958_sub_3778645337_1861681735(char* t1, char* t2, char* t3)
3355 {
3356  char t5[24];
3357  unsigned char t0;
3358  char* t6;
3359  unsigned char t7;
3360  char* t8;
3361  unsigned char t9;
3362  unsigned char t10;
3363 
3364 LAB0:
3365  t6 = (t5 + 4U);
3366  t7 = (t2 != 0);
3367  if(t7 == 1)
3368  goto LAB3;
3369 
3370 LAB2:
3371  t8 = (t5 + 12U);
3372  *((char**)t8) = t3;
3373  t9 = ieee_p_0017514958_sub_1739486367_1861681735(t1, t2, t3);
3374  t10 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t9);
3375  t0 = t10;
3376 
3377 LAB1:
3378  return t0;
3379 LAB3:
3380  *((char**)t6) = t2;
3381  goto LAB2;
3382 
3383 LAB4:;
3384 }
3385 
3386 unsigned char ieee_p_0017514958_sub_3338352311_1861681735(char* t1, char* t2, char* t3)
3387 {
3388  char t4[128];
3389  char t5[24];
3390  char t9[8];
3391  unsigned char t0;
3392  char* t6;
3393  char* t7;
3394  char* t8;
3395  char* t10;
3396  char* t11;
3397  char* t12;
3398  unsigned char t13;
3399  char* t14;
3400  char* t15;
3401  char* t16;
3402  int t17;
3403  int t18;
3404  int t19;
3405  int t20;
3406  int t21;
3407  int t22;
3408  int t23;
3409  int t24;
3410  int t25;
3411  int t26;
3412  unsigned int t27;
3413  unsigned int t28;
3414  unsigned int t29;
3415  char* t30;
3416  unsigned char t31;
3417  unsigned char t32;
3418  char* t33;
3419  char* t34;
3420 
3421 LAB0:
3422  t6 = (t4 + 4U);
3423  t7 = ((IEEE_P_2592010699) + 3320);
3424  t8 = (t6 + 88U);
3425  *((char**)t8) = t7;
3426  t10 = (t6 + 56U);
3427  *((char**)t10) = t9;
3428  xsi_type_set_default_value(t7, t9, 0);
3429  t11 = (t6 + 80U);
3430  *((unsigned int*)t11) = 1U;
3431  t12 = (t5 + 4U);
3432  t13 = (t2 != 0);
3433  if(t13 == 1)
3434  goto LAB3;
3435 
3436 LAB2:
3437  t14 = (t5 + 12U);
3438  *((char**)t14) = t3;
3439  t15 = (t6 + 56U);
3440  t16 = *((char**)t15);
3441  t15 = (t16 + 0);
3442  *((unsigned char*)t15) = (unsigned char)2;
3443  t7 = (t3 + 8U);
3444  t17 = *((int*)t7);
3445  t8 = (t3 + 4U);
3446  t18 = *((int*)t8);
3447  t10 = (t3 + 0U);
3448  t19 = *((int*)t10);
3449  t20 = t19;
3450  t21 = t18;
3451 
3452 LAB4:
3453  t22 = (t21 * t17);
3454  t23 = (t20 * t17);
3455  if(t23 <= t22)
3456  goto LAB5;
3457 
3458 LAB7:
3459  t7 = (t6 + 56U);
3460  t8 = *((char**)t7);
3461  t13 = *((unsigned char*)t8);
3462  t0 = t13;
3463 
3464 LAB1:
3465  return t0;
3466 LAB3:
3467  *((char**)t12) = t2;
3468  goto LAB2;
3469 
3470 LAB5:
3471  t11 = (t6 + 56U);
3472  t15 = *((char**)t11);
3473  t13 = *((unsigned char*)t15);
3474  t11 = (t3 + 0U);
3475  t24 = *((int*)t11);
3476  t16 = (t3 + 8U);
3477  t25 = *((int*)t16);
3478  t26 = (t20 - t24);
3479  t27 = (t26 * t25);
3480  t28 = (1U * t27);
3481  t29 = (0 + t28);
3482  t30 = (t2 + t29);
3483  t31 = *((unsigned char*)t30);
3484  t32 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t13, t31);
3485  t33 = (t6 + 56U);
3486  t34 = *((char**)t33);
3487  t33 = (t34 + 0);
3488  *((unsigned char*)t33) = t32;
3489 
3490 LAB6:
3491  if(t20 == t21)
3492  goto LAB7;
3493 
3494 LAB8:
3495  t18 = (t20 + t17);
3496  t20 = t18;
3497  goto LAB4;
3498 
3499 LAB9:;
3500 }
3501 
3502 unsigned char ieee_p_0017514958_sub_706646641_1861681735(char* t1, char* t2, char* t3)
3503 {
3504  char t5[24];
3505  unsigned char t0;
3506  char* t6;
3507  unsigned char t7;
3508  char* t8;
3509  unsigned char t9;
3510  unsigned char t10;
3511 
3512 LAB0:
3513  t6 = (t5 + 4U);
3514  t7 = (t2 != 0);
3515  if(t7 == 1)
3516  goto LAB3;
3517 
3518 LAB2:
3519  t8 = (t5 + 12U);
3520  *((char**)t8) = t3;
3521  t9 = ieee_p_0017514958_sub_3338352311_1861681735(t1, t2, t3);
3522  t10 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t9);
3523  t0 = t10;
3524 
3525 LAB1:
3526  return t0;
3527 LAB3:
3528  *((char**)t6) = t2;
3529  goto LAB2;
3530 
3531 LAB4:;
3532 }
3533 
3534 unsigned char ieee_p_0017514958_sub_2981074091_1861681735(char* t1, char* t2, char* t3)
3535 {
3536  char t4[128];
3537  char t5[24];
3538  char t9[8];
3539  unsigned char t0;
3540  char* t6;
3541  char* t7;
3542  char* t8;
3543  char* t10;
3544  char* t11;
3545  char* t12;
3546  unsigned char t13;
3547  char* t14;
3548  char* t15;
3549  char* t16;
3550  int t17;
3551  int t18;
3552  int t19;
3553  int t20;
3554  int t21;
3555  int t22;
3556  int t23;
3557  int t24;
3558  int t25;
3559  int t26;
3560  unsigned int t27;
3561  unsigned int t28;
3562  unsigned int t29;
3563  char* t30;
3564  unsigned char t31;
3565  unsigned char t32;
3566  char* t33;
3567  char* t34;
3568 
3569 LAB0:
3570  t6 = (t4 + 4U);
3571  t7 = ((IEEE_P_2592010699) + 3320);
3572  t8 = (t6 + 88U);
3573  *((char**)t8) = t7;
3574  t10 = (t6 + 56U);
3575  *((char**)t10) = t9;
3576  xsi_type_set_default_value(t7, t9, 0);
3577  t11 = (t6 + 80U);
3578  *((unsigned int*)t11) = 1U;
3579  t12 = (t5 + 4U);
3580  t13 = (t2 != 0);
3581  if(t13 == 1)
3582  goto LAB3;
3583 
3584 LAB2:
3585  t14 = (t5 + 12U);
3586  *((char**)t14) = t3;
3587  t15 = (t6 + 56U);
3588  t16 = *((char**)t15);
3589  t15 = (t16 + 0);
3590  *((unsigned char*)t15) = (unsigned char)3;
3591  t7 = (t3 + 8U);
3592  t17 = *((int*)t7);
3593  t8 = (t3 + 4U);
3594  t18 = *((int*)t8);
3595  t10 = (t3 + 0U);
3596  t19 = *((int*)t10);
3597  t20 = t19;
3598  t21 = t18;
3599 
3600 LAB4:
3601  t22 = (t21 * t17);
3602  t23 = (t20 * t17);
3603  if(t23 <= t22)
3604  goto LAB5;
3605 
3606 LAB7:
3607  t7 = (t6 + 56U);
3608  t8 = *((char**)t7);
3609  t13 = *((unsigned char*)t8);
3610  t0 = t13;
3611 
3612 LAB1:
3613  return t0;
3614 LAB3:
3615  *((char**)t12) = t2;
3616  goto LAB2;
3617 
3618 LAB5:
3619  t11 = (t6 + 56U);
3620  t15 = *((char**)t11);
3621  t13 = *((unsigned char*)t15);
3622  t11 = (t3 + 0U);
3623  t24 = *((int*)t11);
3624  t16 = (t3 + 8U);
3625  t25 = *((int*)t16);
3626  t26 = (t20 - t24);
3627  t27 = (t26 * t25);
3628  t28 = (1U * t27);
3629  t29 = (0 + t28);
3630  t30 = (t2 + t29);
3631  t31 = *((unsigned char*)t30);
3632  t32 = ieee_p_2592010699_sub_1605435078_503743352(IEEE_P_2592010699, t13, t31);
3633  t33 = (t6 + 56U);
3634  t34 = *((char**)t33);
3635  t33 = (t34 + 0);
3636  *((unsigned char*)t33) = t32;
3637 
3638 LAB6:
3639  if(t20 == t21)
3640  goto LAB7;
3641 
3642 LAB8:
3643  t18 = (t20 + t17);
3644  t20 = t18;
3645  goto LAB4;
3646 
3647 LAB9:;
3648 }
3649 
3650 unsigned char ieee_p_0017514958_sub_3501910733_1861681735(char* t1, char* t2, char* t3)
3651 {
3652  char t5[24];
3653  unsigned char t0;
3654  char* t6;
3655  unsigned char t7;
3656  char* t8;
3657  unsigned char t9;
3658  unsigned char t10;
3659 
3660 LAB0:
3661  t6 = (t5 + 4U);
3662  t7 = (t2 != 0);
3663  if(t7 == 1)
3664  goto LAB3;
3665 
3666 LAB2:
3667  t8 = (t5 + 12U);
3668  *((char**)t8) = t3;
3669  t9 = ieee_p_0017514958_sub_2981074091_1861681735(t1, t2, t3);
3670  t10 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t9);
3671  t0 = t10;
3672 
3673 LAB1:
3674  return t0;
3675 LAB3:
3676  *((char**)t6) = t2;
3677  goto LAB2;
3678 
3679 LAB4:;
3680 }
3681 
3682 unsigned char ieee_p_0017514958_sub_1982913369_1861681735(char* t1, char* t2, char* t3)
3683 {
3684  char t4[128];
3685  char t5[24];
3686  char t9[8];
3687  unsigned char t0;
3688  char* t6;
3689  char* t7;
3690  char* t8;
3691  char* t10;
3692  char* t11;
3693  char* t12;
3694  unsigned char t13;
3695  char* t14;
3696  char* t15;
3697  char* t16;
3698  int t17;
3699  int t18;
3700  int t19;
3701  int t20;
3702  int t21;
3703  int t22;
3704  int t23;
3705  int t24;
3706  int t25;
3707  int t26;
3708  unsigned int t27;
3709  unsigned int t28;
3710  unsigned int t29;
3711  char* t30;
3712  unsigned char t31;
3713  unsigned char t32;
3714  char* t33;
3715  char* t34;
3716 
3717 LAB0:
3718  t6 = (t4 + 4U);
3719  t7 = ((IEEE_P_2592010699) + 3320);
3720  t8 = (t6 + 88U);
3721  *((char**)t8) = t7;
3722  t10 = (t6 + 56U);
3723  *((char**)t10) = t9;
3724  xsi_type_set_default_value(t7, t9, 0);
3725  t11 = (t6 + 80U);
3726  *((unsigned int*)t11) = 1U;
3727  t12 = (t5 + 4U);
3728  t13 = (t2 != 0);
3729  if(t13 == 1)
3730  goto LAB3;
3731 
3732 LAB2:
3733  t14 = (t5 + 12U);
3734  *((char**)t14) = t3;
3735  t15 = (t6 + 56U);
3736  t16 = *((char**)t15);
3737  t15 = (t16 + 0);
3738  *((unsigned char*)t15) = (unsigned char)2;
3739  t7 = (t3 + 8U);
3740  t17 = *((int*)t7);
3741  t8 = (t3 + 4U);
3742  t18 = *((int*)t8);
3743  t10 = (t3 + 0U);
3744  t19 = *((int*)t10);
3745  t20 = t19;
3746  t21 = t18;
3747 
3748 LAB4:
3749  t22 = (t21 * t17);
3750  t23 = (t20 * t17);
3751  if(t23 <= t22)
3752  goto LAB5;
3753 
3754 LAB7:
3755  t7 = (t6 + 56U);
3756  t8 = *((char**)t7);
3757  t13 = *((unsigned char*)t8);
3758  t0 = t13;
3759 
3760 LAB1:
3761  return t0;
3762 LAB3:
3763  *((char**)t12) = t2;
3764  goto LAB2;
3765 
3766 LAB5:
3767  t11 = (t6 + 56U);
3768  t15 = *((char**)t11);
3769  t13 = *((unsigned char*)t15);
3770  t11 = (t3 + 0U);
3771  t24 = *((int*)t11);
3772  t16 = (t3 + 8U);
3773  t25 = *((int*)t16);
3774  t26 = (t20 - t24);
3775  t27 = (t26 * t25);
3776  t28 = (1U * t27);
3777  t29 = (0 + t28);
3778  t30 = (t2 + t29);
3779  t31 = *((unsigned char*)t30);
3780  t32 = ieee_p_2592010699_sub_2545490612_503743352(IEEE_P_2592010699, t13, t31);
3781  t33 = (t6 + 56U);
3782  t34 = *((char**)t33);
3783  t33 = (t34 + 0);
3784  *((unsigned char*)t33) = t32;
3785 
3786 LAB6:
3787  if(t20 == t21)
3788  goto LAB7;
3789 
3790 LAB8:
3791  t18 = (t20 + t17);
3792  t20 = t18;
3793  goto LAB4;
3794 
3795 LAB9:;
3796 }
3797 
3798 unsigned char ieee_p_0017514958_sub_3688409019_1861681735(char* t1, char* t2, char* t3)
3799 {
3800  char t5[24];
3801  unsigned char t0;
3802  char* t6;
3803  unsigned char t7;
3804  char* t8;
3805  unsigned char t9;
3806  unsigned char t10;
3807 
3808 LAB0:
3809  t6 = (t5 + 4U);
3810  t7 = (t2 != 0);
3811  if(t7 == 1)
3812  goto LAB3;
3813 
3814 LAB2:
3815  t8 = (t5 + 12U);
3816  *((char**)t8) = t3;
3817  t9 = ieee_p_0017514958_sub_1982913369_1861681735(t1, t2, t3);
3818  t10 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t9);
3819  t0 = t10;
3820 
3821 LAB1:
3822  return t0;
3823 LAB3:
3824  *((char**)t6) = t2;
3825  goto LAB2;
3826 
3827 LAB4:;
3828 }
3829 
3830 unsigned char ieee_p_0017514958_sub_3581779313_1861681735(char* t1, char* t2, char* t3)
3831 {
3832  char t4[128];
3833  char t5[24];
3834  char t9[8];
3835  unsigned char t0;
3836  char* t6;
3837  char* t7;
3838  char* t8;
3839  char* t10;
3840  char* t11;
3841  char* t12;
3842  unsigned char t13;
3843  char* t14;
3844  char* t15;
3845  char* t16;
3846  int t17;
3847  int t18;
3848  int t19;
3849  int t20;
3850  int t21;
3851  int t22;
3852  int t23;
3853  int t24;
3854  int t25;
3855  int t26;
3856  unsigned int t27;
3857  unsigned int t28;
3858  unsigned int t29;
3859  char* t30;
3860  unsigned char t31;
3861  unsigned char t32;
3862  char* t33;
3863  char* t34;
3864 
3865 LAB0:
3866  t6 = (t4 + 4U);
3867  t7 = ((IEEE_P_2592010699) + 3320);
3868  t8 = (t6 + 88U);
3869  *((char**)t8) = t7;
3870  t10 = (t6 + 56U);
3871  *((char**)t10) = t9;
3872  xsi_type_set_default_value(t7, t9, 0);
3873  t11 = (t6 + 80U);
3874  *((unsigned int*)t11) = 1U;
3875  t12 = (t5 + 4U);
3876  t13 = (t2 != 0);
3877  if(t13 == 1)
3878  goto LAB3;
3879 
3880 LAB2:
3881  t14 = (t5 + 12U);
3882  *((char**)t14) = t3;
3883  t15 = (t6 + 56U);
3884  t16 = *((char**)t15);
3885  t15 = (t16 + 0);
3886  *((unsigned char*)t15) = (unsigned char)2;
3887  t7 = (t3 + 8U);
3888  t17 = *((int*)t7);
3889  t8 = (t3 + 4U);
3890  t18 = *((int*)t8);
3891  t10 = (t3 + 0U);
3892  t19 = *((int*)t10);
3893  t20 = t19;
3894  t21 = t18;
3895 
3896 LAB4:
3897  t22 = (t21 * t17);
3898  t23 = (t20 * t17);
3899  if(t23 <= t22)
3900  goto LAB5;
3901 
3902 LAB7:
3903  t7 = (t6 + 56U);
3904  t8 = *((char**)t7);
3905  t13 = *((unsigned char*)t8);
3906  t0 = t13;
3907 
3908 LAB1:
3909  return t0;
3910 LAB3:
3911  *((char**)t12) = t2;
3912  goto LAB2;
3913 
3914 LAB5:
3915  t11 = (t6 + 56U);
3916  t15 = *((char**)t11);
3917  t13 = *((unsigned char*)t15);
3918  t11 = (t3 + 0U);
3919  t24 = *((int*)t11);
3920  t16 = (t3 + 8U);
3921  t25 = *((int*)t16);
3922  t26 = (t20 - t24);
3923  t27 = (t26 * t25);
3924  t28 = (1U * t27);
3925  t29 = (0 + t28);
3926  t30 = (t2 + t29);
3927  t31 = *((unsigned char*)t30);
3928  t32 = ieee_p_2592010699_sub_2507238156_503743352(IEEE_P_2592010699, t13, t31);
3929  t33 = (t6 + 56U);
3930  t34 = *((char**)t33);
3931  t33 = (t34 + 0);
3932  *((unsigned char*)t33) = t32;
3933 
3934 LAB6:
3935  if(t20 == t21)
3936  goto LAB7;
3937 
3938 LAB8:
3939  t18 = (t20 + t17);
3940  t20 = t18;
3941  goto LAB4;
3942 
3943 LAB9:;
3944 }
3945 
3946 unsigned char ieee_p_0017514958_sub_616410323_1861681735(char* t1, char* t2, char* t3)
3947 {
3948  char t5[24];
3949  unsigned char t0;
3950  char* t6;
3951  unsigned char t7;
3952  char* t8;
3953  unsigned char t9;
3954  unsigned char t10;
3955 
3956 LAB0:
3957  t6 = (t5 + 4U);
3958  t7 = (t2 != 0);
3959  if(t7 == 1)
3960  goto LAB3;
3961 
3962 LAB2:
3963  t8 = (t5 + 12U);
3964  *((char**)t8) = t3;
3965  t9 = ieee_p_0017514958_sub_3581779313_1861681735(t1, t2, t3);
3966  t10 = ieee_p_2592010699_sub_1690584930_503743352(IEEE_P_2592010699, t9);
3967  t0 = t10;
3968 
3969 LAB1:
3970  return t0;
3971 LAB3:
3972  *((char**)t6) = t2;
3973  goto LAB2;
3974 
3975 LAB4:;
3976 }
3977 
3978 unsigned char ieee_p_0017514958_sub_4126215983_1861681735(char* t1,
3979  unsigned char t2,
3980  unsigned char t3,
3981  unsigned char t4)
3982 {
3983  char t5[352];
3984  char t6[8];
3985  char t13[48];
3986  char t133[48];
3987  char t144[160];
3988  unsigned char t0;
3989  char* t7;
3990  char* t8;
3991  char* t9;
3992  char* t10;
3993  char* t11;
3994  char* t12;
3995  char* t14;
3996  char* t15;
3997  int t16;
3998  unsigned int t17;
3999  char* t18;
4000  int t19;
4001  char* t20;
4002  int t21;
4003  char* t22;
4004  char* t23;
4005  unsigned int t24;
4006  char* t25;
4007  unsigned int t26;
4008  char* t27;
4009  unsigned int t28;
4010  char* t29;
4011  unsigned int t30;
4012  char* t31;
4013  unsigned int t32;
4014  char* t33;
4015  unsigned int t34;
4016  unsigned int t35;
4017  char* t36;
4018  unsigned int t37;
4019  char* t38;
4020  unsigned int t39;
4021  char* t40;
4022  unsigned int t41;
4023  char* t42;
4024  unsigned int t43;
4025  char* t44;
4026  unsigned int t45;
4027  unsigned int t46;
4028  char* t47;
4029  unsigned int t48;
4030  char* t49;
4031  unsigned int t50;
4032  char* t51;
4033  unsigned int t52;
4034  char* t53;
4035  unsigned int t54;
4036  char* t55;
4037  unsigned int t56;
4038  unsigned int t57;
4039  char* t58;
4040  unsigned int t59;
4041  char* t60;
4042  unsigned int t61;
4043  char* t62;
4044  unsigned int t63;
4045  char* t64;
4046  unsigned int t65;
4047  char* t66;
4048  unsigned int t67;
4049  unsigned int t68;
4050  char* t69;
4051  unsigned int t70;
4052  char* t71;
4053  unsigned int t72;
4054  char* t73;
4055  unsigned int t74;
4056  char* t75;
4057  unsigned int t76;
4058  char* t77;
4059  unsigned int t78;
4060  unsigned int t79;
4061  char* t80;
4062  unsigned int t81;
4063  char* t82;
4064  unsigned int t83;
4065  char* t84;
4066  unsigned int t85;
4067  char* t86;
4068  unsigned int t87;
4069  char* t88;
4070  unsigned int t89;
4071  unsigned int t90;
4072  char* t91;
4073  unsigned int t92;
4074  char* t93;
4075  unsigned int t94;
4076  char* t95;
4077  unsigned int t96;
4078  char* t97;
4079  unsigned int t98;
4080  char* t99;
4081  unsigned int t100;
4082  unsigned int t101;
4083  char* t102;
4084  unsigned int t103;
4085  char* t104;
4086  unsigned int t105;
4087  char* t106;
4088  unsigned int t107;
4089  char* t108;
4090  unsigned int t109;
4091  char* t110;
4092  unsigned int t111;
4093  unsigned int t112;
4094  char* t113;
4095  unsigned int t114;
4096  char* t115;
4097  unsigned int t116;
4098  char* t117;
4099  unsigned int t118;
4100  char* t119;
4101  unsigned int t120;
4102  char* t121;
4103  unsigned int t122;
4104  unsigned int t123;
4105  char* t124;
4106  unsigned int t125;
4107  char* t126;
4108  unsigned int t127;
4109  char* t128;
4110  unsigned int t129;
4111  char* t130;
4112  unsigned int t131;
4113  char* t132;
4114  char* t134;
4115  char* t135;
4116  int t136;
4117  unsigned int t137;
4118  char* t138;
4119  int t139;
4120  char* t140;
4121  int t141;
4122  char* t142;
4123  char* t143;
4124  char* t145;
4125  char* t146;
4126  char* t147;
4127  char* t148;
4128  char* t149;
4129  char* t150;
4130  char* t151;
4131  char* t152;
4132  char* t153;
4133  char* t154;
4134  int t155;
4135  unsigned int t156;
4136  unsigned int t157;
4137  int t158;
4138  unsigned int t159;
4139  unsigned int t160;
4140  unsigned int t161;
4141  int t162;
4142  unsigned int t163;
4143  unsigned int t164;
4144  unsigned int t165;
4145  unsigned int t166;
4146  unsigned char t167;
4147 
4148 LAB0:
4149  t7 = ((IEEE_P_2592010699) + 3320);
4150  t8 = (t1 + 2504);
4151  t9 = ((IEEE_P_2592010699) + 3608);
4152  t10 = ((IEEE_P_2592010699) + 3608);
4153  t11 = (t5 + 4U);
4154  xsi_create_unconstr_array_type(t11, ng3, t7, 3, t8, t9, t10);
4155  t12 = (t5 + 4U);
4156  t14 = (t13 + 0U);
4157  t15 = (t14 + 0U);
4158  *((int*)t15) = 0;
4159  t15 = (t14 + 4U);
4160  *((int*)t15) = 9;
4161  t15 = (t14 + 8U);
4162  *((int*)t15) = 1;
4163  t16 = (9 - 0);
4164  t17 = (t16 * 1);
4165  t17 = (t17 + 1);
4166  t15 = (t14 + 12U);
4167  *((unsigned int*)t15) = t17;
4168  t15 = (t13 + 16U);
4169  t18 = (t15 + 0U);
4170  *((int*)t18) = 0;
4171  t18 = (t15 + 4U);
4172  *((int*)t18) = 3;
4173  t18 = (t15 + 8U);
4174  *((int*)t18) = 1;
4175  t19 = (3 - 0);
4176  t17 = (t19 * 1);
4177  t17 = (t17 + 1);
4178  t18 = (t15 + 12U);
4179  *((unsigned int*)t18) = t17;
4180  t18 = (t13 + 32U);
4181  t20 = (t18 + 0U);
4182  *((int*)t20) = 0;
4183  t20 = (t18 + 4U);
4184  *((int*)t20) = 3;
4185  t20 = (t18 + 8U);
4186  *((int*)t20) = 1;
4187  t21 = (3 - 0);
4188  t17 = (t21 * 1);
4189  t17 = (t17 + 1);
4190  t20 = (t18 + 12U);
4191  *((unsigned int*)t20) = t17;
4192  t20 = (t5 + 116U);
4193  xsi_create_subtype(t20, ng4, t12, t13, 2);
4194  t22 = xsi_get_transient_memory(160U);
4195  memset(t22, 0, 160U);
4196  t23 = t22;
4197  t17 = (4U * 4U);
4198  t24 = (t17 * 1U);
4199  t25 = t23;
4200  t26 = (4U * 1U);
4201  t27 = t25;
4202  *((unsigned char*)t27) = (unsigned char)0;
4203  t27 = (t27 + 1U);
4204  *((unsigned char*)t27) = (unsigned char)0;
4205  t27 = (t27 + 1U);
4206  *((unsigned char*)t27) = (unsigned char)0;
4207  t27 = (t27 + 1U);
4208  *((unsigned char*)t27) = (unsigned char)0;
4209  t25 = (t25 + t26);
4210  t28 = (4U * 1U);
4211  t29 = t25;
4212  *((unsigned char*)t29) = (unsigned char)0;
4213  t29 = (t29 + 1U);
4214  *((unsigned char*)t29) = (unsigned char)1;
4215  t29 = (t29 + 1U);
4216  *((unsigned char*)t29) = (unsigned char)1;
4217  t29 = (t29 + 1U);
4218  *((unsigned char*)t29) = (unsigned char)1;
4219  t25 = (t25 + t28);
4220  t30 = (4U * 1U);
4221  t31 = t25;
4222  *((unsigned char*)t31) = (unsigned char)4;
4223  t31 = (t31 + 1U);
4224  *((unsigned char*)t31) = (unsigned char)4;
4225  t31 = (t31 + 1U);
4226  *((unsigned char*)t31) = (unsigned char)4;
4227  t31 = (t31 + 1U);
4228  *((unsigned char*)t31) = (unsigned char)4;
4229  t25 = (t25 + t30);
4230  t32 = (4U * 1U);
4231  t33 = t25;
4232  *((unsigned char*)t33) = (unsigned char)0;
4233  t33 = (t33 + 1U);
4234  *((unsigned char*)t33) = (unsigned char)1;
4235  t33 = (t33 + 1U);
4236  *((unsigned char*)t33) = (unsigned char)2;
4237  t33 = (t33 + 1U);
4238  *((unsigned char*)t33) = (unsigned char)3;
4239  t23 = (t23 + t24);
4240  t34 = (4U * 4U);
4241  t35 = (t34 * 1U);
4242  t36 = t23;
4243  t37 = (4U * 1U);
4244  t38 = t36;
4245  *((unsigned char*)t38) = (unsigned char)0;
4246  t38 = (t38 + 1U);
4247  *((unsigned char*)t38) = (unsigned char)0;
4248  t38 = (t38 + 1U);
4249  *((unsigned char*)t38) = (unsigned char)0;
4250  t38 = (t38 + 1U);
4251  *((unsigned char*)t38) = (unsigned char)0;
4252  t36 = (t36 + t37);
4253  t39 = (4U * 1U);
4254  t40 = t36;
4255  *((unsigned char*)t40) = (unsigned char)0;
4256  t40 = (t40 + 1U);
4257  *((unsigned char*)t40) = (unsigned char)1;
4258  t40 = (t40 + 1U);
4259  *((unsigned char*)t40) = (unsigned char)1;
4260  t40 = (t40 + 1U);
4261  *((unsigned char*)t40) = (unsigned char)1;
4262  t36 = (t36 + t39);
4263  t41 = (4U * 1U);
4264  t42 = t36;
4265  *((unsigned char*)t42) = (unsigned char)4;
4266  t42 = (t42 + 1U);
4267  *((unsigned char*)t42) = (unsigned char)4;
4268  t42 = (t42 + 1U);
4269  *((unsigned char*)t42) = (unsigned char)4;
4270  t42 = (t42 + 1U);
4271  *((unsigned char*)t42) = (unsigned char)4;
4272  t36 = (t36 + t41);
4273  t43 = (4U * 1U);
4274  t44 = t36;
4275  *((unsigned char*)t44) = (unsigned char)0;
4276  t44 = (t44 + 1U);
4277  *((unsigned char*)t44) = (unsigned char)1;
4278  t44 = (t44 + 1U);
4279  *((unsigned char*)t44) = (unsigned char)2;
4280  t44 = (t44 + 1U);
4281  *((unsigned char*)t44) = (unsigned char)7;
4282  t23 = (t23 + t35);
4283  t45 = (4U * 4U);
4284  t46 = (t45 * 1U);
4285  t47 = t23;
4286  t48 = (4U * 1U);
4287  t49 = t47;
4288  *((unsigned char*)t49) = (unsigned char)0;
4289  t49 = (t49 + 1U);
4290  *((unsigned char*)t49) = (unsigned char)0;
4291  t49 = (t49 + 1U);
4292  *((unsigned char*)t49) = (unsigned char)0;
4293  t49 = (t49 + 1U);
4294  *((unsigned char*)t49) = (unsigned char)0;
4295  t47 = (t47 + t48);
4296  t50 = (4U * 1U);
4297  t51 = t47;
4298  *((unsigned char*)t51) = (unsigned char)0;
4299  t51 = (t51 + 1U);
4300  *((unsigned char*)t51) = (unsigned char)1;
4301  t51 = (t51 + 1U);
4302  *((unsigned char*)t51) = (unsigned char)1;
4303  t51 = (t51 + 1U);
4304  *((unsigned char*)t51) = (unsigned char)1;
4305  t47 = (t47 + t50);
4306  t52 = (4U * 1U);
4307  t53 = t47;
4308  *((unsigned char*)t53) = (unsigned char)4;
4309  t53 = (t53 + 1U);
4310  *((unsigned char*)t53) = (unsigned char)4;
4311  t53 = (t53 + 1U);
4312  *((unsigned char*)t53) = (unsigned char)4;
4313  t53 = (t53 + 1U);
4314  *((unsigned char*)t53) = (unsigned char)4;
4315  t47 = (t47 + t52);
4316  t54 = (4U * 1U);
4317  t55 = t47;
4318  *((unsigned char*)t55) = (unsigned char)0;
4319  t55 = (t55 + 1U);
4320  *((unsigned char*)t55) = (unsigned char)1;
4321  t55 = (t55 + 1U);
4322  *((unsigned char*)t55) = (unsigned char)6;
4323  t55 = (t55 + 1U);
4324  *((unsigned char*)t55) = (unsigned char)3;
4325  t23 = (t23 + t46);
4326  t56 = (4U * 4U);
4327  t57 = (t56 * 1U);
4328  t58 = t23;
4329  t59 = (4U * 1U);
4330  t60 = t58;
4331  *((unsigned char*)t60) = (unsigned char)0;
4332  t60 = (t60 + 1U);
4333  *((unsigned char*)t60) = (unsigned char)0;
4334  t60 = (t60 + 1U);
4335  *((unsigned char*)t60) = (unsigned char)0;
4336  t60 = (t60 + 1U);
4337  *((unsigned char*)t60) = (unsigned char)4;
4338  t58 = (t58 + t59);
4339  t61 = (4U * 1U);
4340  t62 = t58;
4341  *((unsigned char*)t62) = (unsigned char)0;
4342  t62 = (t62 + 1U);
4343  *((unsigned char*)t62) = (unsigned char)1;
4344  t62 = (t62 + 1U);
4345  *((unsigned char*)t62) = (unsigned char)1;
4346  t62 = (t62 + 1U);
4347  *((unsigned char*)t62) = (unsigned char)4;
4348  t58 = (t58 + t61);
4349  t63 = (4U * 1U);
4350  t64 = t58;
4351  *((unsigned char*)t64) = (unsigned char)4;
4352  t64 = (t64 + 1U);
4353  *((unsigned char*)t64) = (unsigned char)4;
4354  t64 = (t64 + 1U);
4355  *((unsigned char*)t64) = (unsigned char)4;
4356  t64 = (t64 + 1U);
4357  *((unsigned char*)t64) = (unsigned char)4;
4358  t58 = (t58 + t63);
4359  t65 = (4U * 1U);
4360  t66 = t58;
4361  *((unsigned char*)t66) = (unsigned char)0;
4362  t66 = (t66 + 1U);
4363  *((unsigned char*)t66) = (unsigned char)1;
4364  t66 = (t66 + 1U);
4365  *((unsigned char*)t66) = (unsigned char)2;
4366  t66 = (t66 + 1U);
4367  *((unsigned char*)t66) = (unsigned char)4;
4368  t23 = (t23 + t57);
4369  t67 = (4U * 4U);
4370  t68 = (t67 * 1U);
4371  t69 = t23;
4372  t70 = (4U * 1U);
4373  t71 = t69;
4374  *((unsigned char*)t71) = (unsigned char)0;
4375  t71 = (t71 + 1U);
4376  *((unsigned char*)t71) = (unsigned char)0;
4377  t71 = (t71 + 1U);
4378  *((unsigned char*)t71) = (unsigned char)0;
4379  t71 = (t71 + 1U);
4380  *((unsigned char*)t71) = (unsigned char)0;
4381  t69 = (t69 + t70);
4382  t72 = (4U * 1U);
4383  t73 = t69;
4384  *((unsigned char*)t73) = (unsigned char)0;
4385  t73 = (t73 + 1U);
4386  *((unsigned char*)t73) = (unsigned char)1;
4387  t73 = (t73 + 1U);
4388  *((unsigned char*)t73) = (unsigned char)1;
4389  t73 = (t73 + 1U);
4390  *((unsigned char*)t73) = (unsigned char)1;
4391  t69 = (t69 + t72);
4392  t74 = (4U * 1U);
4393  t75 = t69;
4394  *((unsigned char*)t75) = (unsigned char)4;
4395  t75 = (t75 + 1U);
4396  *((unsigned char*)t75) = (unsigned char)4;
4397  t75 = (t75 + 1U);
4398  *((unsigned char*)t75) = (unsigned char)4;
4399  t75 = (t75 + 1U);
4400  *((unsigned char*)t75) = (unsigned char)4;
4401  t69 = (t69 + t74);
4402  t76 = (4U * 1U);
4403  t77 = t69;
4404  *((unsigned char*)t77) = (unsigned char)0;
4405  t77 = (t77 + 1U);
4406  *((unsigned char*)t77) = (unsigned char)1;
4407  t77 = (t77 + 1U);
4408  *((unsigned char*)t77) = (unsigned char)4;
4409  t77 = (t77 + 1U);
4410  *((unsigned char*)t77) = (unsigned char)3;
4411  t23 = (t23 + t68);
4412  t78 = (4U * 4U);
4413  t79 = (t78 * 1U);
4414  t80 = t23;
4415  t81 = (4U * 1U);
4416  t82 = t80;
4417  *((unsigned char*)t82) = (unsigned char)0;
4418  t82 = (t82 + 1U);
4419  *((unsigned char*)t82) = (unsigned char)0;
4420  t82 = (t82 + 1U);
4421  *((unsigned char*)t82) = (unsigned char)0;
4422  t82 = (t82 + 1U);
4423  *((unsigned char*)t82) = (unsigned char)0;
4424  t80 = (t80 + t81);
4425  t83 = (4U * 1U);
4426  t84 = t80;
4427  *((unsigned char*)t84) = (unsigned char)0;
4428  t84 = (t84 + 1U);
4429  *((unsigned char*)t84) = (unsigned char)5;
4430  t84 = (t84 + 1U);
4431  *((unsigned char*)t84) = (unsigned char)5;
4432  t84 = (t84 + 1U);
4433  *((unsigned char*)t84) = (unsigned char)5;
4434  t80 = (t80 + t83);
4435  t85 = (4U * 1U);
4436  t86 = t80;
4437  *((unsigned char*)t86) = (unsigned char)4;
4438  t86 = (t86 + 1U);
4439  *((unsigned char*)t86) = (unsigned char)4;
4440  t86 = (t86 + 1U);
4441  *((unsigned char*)t86) = (unsigned char)4;
4442  t86 = (t86 + 1U);
4443  *((unsigned char*)t86) = (unsigned char)4;
4444  t80 = (t80 + t85);
4445  t87 = (4U * 1U);
4446  t88 = t80;
4447  *((unsigned char*)t88) = (unsigned char)0;
4448  t88 = (t88 + 1U);
4449  *((unsigned char*)t88) = (unsigned char)5;
4450  t88 = (t88 + 1U);
4451  *((unsigned char*)t88) = (unsigned char)6;
4452  t88 = (t88 + 1U);
4453  *((unsigned char*)t88) = (unsigned char)7;
4454  t23 = (t23 + t79);
4455  t89 = (4U * 4U);
4456  t90 = (t89 * 1U);
4457  t91 = t23;
4458  t92 = (4U * 1U);
4459  t93 = t91;
4460  *((unsigned char*)t93) = (unsigned char)0;
4461  t93 = (t93 + 1U);
4462  *((unsigned char*)t93) = (unsigned char)0;
4463  t93 = (t93 + 1U);
4464  *((unsigned char*)t93) = (unsigned char)0;
4465  t93 = (t93 + 1U);
4466  *((unsigned char*)t93) = (unsigned char)0;
4467  t91 = (t91 + t92);
4468  t94 = (4U * 1U);
4469  t95 = t91;
4470  *((unsigned char*)t95) = (unsigned char)0;
4471  t95 = (t95 + 1U);
4472  *((unsigned char*)t95) = (unsigned char)5;
4473  t95 = (t95 + 1U);
4474  *((unsigned char*)t95) = (unsigned char)5;
4475  t95 = (t95 + 1U);
4476  *((unsigned char*)t95) = (unsigned char)4;
4477  t91 = (t91 + t94);
4478  t96 = (4U * 1U);
4479  t97 = t91;
4480  *((unsigned char*)t97) = (unsigned char)4;
4481  t97 = (t97 + 1U);
4482  *((unsigned char*)t97) = (unsigned char)4;
4483  t97 = (t97 + 1U);
4484  *((unsigned char*)t97) = (unsigned char)4;
4485  t97 = (t97 + 1U);
4486  *((unsigned char*)t97) = (unsigned char)4;
4487  t91 = (t91 + t96);
4488  t98 = (4U * 1U);
4489  t99 = t91;
4490  *((unsigned char*)t99) = (unsigned char)0;
4491  t99 = (t99 + 1U);
4492  *((unsigned char*)t99) = (unsigned char)5;
4493  t99 = (t99 + 1U);
4494  *((unsigned char*)t99) = (unsigned char)6;
4495  t99 = (t99 + 1U);
4496  *((unsigned char*)t99) = (unsigned char)4;
4497  t23 = (t23 + t90);
4498  t100 = (4U * 4U);
4499  t101 = (t100 * 1U);
4500  t102 = t23;
4501  t103 = (4U * 1U);
4502  t104 = t102;
4503  *((unsigned char*)t104) = (unsigned char)0;
4504  t104 = (t104 + 1U);
4505  *((unsigned char*)t104) = (unsigned char)0;
4506  t104 = (t104 + 1U);
4507  *((unsigned char*)t104) = (unsigned char)0;
4508  t104 = (t104 + 1U);
4509  *((unsigned char*)t104) = (unsigned char)0;
4510  t102 = (t102 + t103);
4511  t105 = (4U * 1U);
4512  t106 = t102;
4513  *((unsigned char*)t106) = (unsigned char)0;
4514  t106 = (t106 + 1U);
4515  *((unsigned char*)t106) = (unsigned char)5;
4516  t106 = (t106 + 1U);
4517  *((unsigned char*)t106) = (unsigned char)5;
4518  t106 = (t106 + 1U);
4519  *((unsigned char*)t106) = (unsigned char)5;
4520  t102 = (t102 + t105);
4521  t107 = (4U * 1U);
4522  t108 = t102;
4523  *((unsigned char*)t108) = (unsigned char)4;
4524  t108 = (t108 + 1U);
4525  *((unsigned char*)t108) = (unsigned char)4;
4526  t108 = (t108 + 1U);
4527  *((unsigned char*)t108) = (unsigned char)4;
4528  t108 = (t108 + 1U);
4529  *((unsigned char*)t108) = (unsigned char)4;
4530  t102 = (t102 + t107);
4531  t109 = (4U * 1U);
4532  t110 = t102;
4533  *((unsigned char*)t110) = (unsigned char)0;
4534  t110 = (t110 + 1U);
4535  *((unsigned char*)t110) = (unsigned char)5;
4536  t110 = (t110 + 1U);
4537  *((unsigned char*)t110) = (unsigned char)4;
4538  t110 = (t110 + 1U);
4539  *((unsigned char*)t110) = (unsigned char)7;
4540  t23 = (t23 + t101);
4541  t111 = (4U * 4U);
4542  t112 = (t111 * 1U);
4543  t113 = t23;
4544  t114 = (4U * 1U);
4545  t115 = t113;
4546  *((unsigned char*)t115) = (unsigned char)0;
4547  t115 = (t115 + 1U);
4548  *((unsigned char*)t115) = (unsigned char)0;
4549  t115 = (t115 + 1U);
4550  *((unsigned char*)t115) = (unsigned char)0;
4551  t115 = (t115 + 1U);
4552  *((unsigned char*)t115) = (unsigned char)0;
4553  t113 = (t113 + t114);
4554  t116 = (4U * 1U);
4555  t117 = t113;
4556  *((unsigned char*)t117) = (unsigned char)0;
4557  t117 = (t117 + 1U);
4558  *((unsigned char*)t117) = (unsigned char)5;
4559  t117 = (t117 + 1U);
4560  *((unsigned char*)t117) = (unsigned char)5;
4561  t117 = (t117 + 1U);
4562  *((unsigned char*)t117) = (unsigned char)5;
4563  t113 = (t113 + t116);
4564  t118 = (4U * 1U);
4565  t119 = t113;
4566  *((unsigned char*)t119) = (unsigned char)4;
4567  t119 = (t119 + 1U);
4568  *((unsigned char*)t119) = (unsigned char)4;
4569  t119 = (t119 + 1U);
4570  *((unsigned char*)t119) = (unsigned char)4;
4571  t119 = (t119 + 1U);
4572  *((unsigned char*)t119) = (unsigned char)4;
4573  t113 = (t113 + t118);
4574  t120 = (4U * 1U);
4575  t121 = t113;
4576  *((unsigned char*)t121) = (unsigned char)0;
4577  t121 = (t121 + 1U);
4578  *((unsigned char*)t121) = (unsigned char)5;
4579  t121 = (t121 + 1U);
4580  *((unsigned char*)t121) = (unsigned char)2;
4581  t121 = (t121 + 1U);
4582  *((unsigned char*)t121) = (unsigned char)7;
4583  t23 = (t23 + t112);
4584  t122 = (4U * 4U);
4585  t123 = (t122 * 1U);
4586  t124 = t23;
4587  t125 = (4U * 1U);
4588  t126 = t124;
4589  *((unsigned char*)t126) = (unsigned char)0;
4590  t126 = (t126 + 1U);
4591  *((unsigned char*)t126) = (unsigned char)0;
4592  t126 = (t126 + 1U);
4593  *((unsigned char*)t126) = (unsigned char)0;
4594  t126 = (t126 + 1U);
4595  *((unsigned char*)t126) = (unsigned char)0;
4596  t124 = (t124 + t125);
4597  t127 = (4U * 1U);
4598  t128 = t124;
4599  *((unsigned char*)t128) = (unsigned char)0;
4600  t128 = (t128 + 1U);
4601  *((unsigned char*)t128) = (unsigned char)5;
4602  t128 = (t128 + 1U);
4603  *((unsigned char*)t128) = (unsigned char)5;
4604  t128 = (t128 + 1U);
4605  *((unsigned char*)t128) = (unsigned char)5;
4606  t124 = (t124 + t127);
4607  t129 = (4U * 1U);
4608  t130 = t124;
4609  *((unsigned char*)t130) = (unsigned char)4;
4610  t130 = (t130 + 1U);
4611  *((unsigned char*)t130) = (unsigned char)4;
4612  t130 = (t130 + 1U);
4613  *((unsigned char*)t130) = (unsigned char)4;
4614  t130 = (t130 + 1U);
4615  *((unsigned char*)t130) = (unsigned char)4;
4616  t124 = (t124 + t129);
4617  t131 = (4U * 1U);
4618  t132 = t124;
4619  *((unsigned char*)t132) = (unsigned char)0;
4620  t132 = (t132 + 1U);
4621  *((unsigned char*)t132) = (unsigned char)5;
4622  t132 = (t132 + 1U);
4623  *((unsigned char*)t132) = (unsigned char)6;
4624  t132 = (t132 + 1U);
4625  *((unsigned char*)t132) = (unsigned char)3;
4626  t134 = (t133 + 0U);
4627  t135 = (t134 + 0U);
4628  *((int*)t135) = 0;
4629  t135 = (t134 + 4U);
4630  *((int*)t135) = 9;
4631  t135 = (t134 + 8U);
4632  *((int*)t135) = 1;
4633  t136 = (9 - 0);
4634  t137 = (t136 * 1);
4635  t137 = (t137 + 1);
4636  t135 = (t134 + 12U);
4637  *((unsigned int*)t135) = t137;
4638  t135 = (t133 + 16U);
4639  t138 = (t135 + 0U);
4640  *((int*)t138) = 0;
4641  t138 = (t135 + 4U);
4642  *((int*)t138) = 3;
4643  t138 = (t135 + 8U);
4644  *((int*)t138) = 1;
4645  t139 = (3 - 0);
4646  t137 = (t139 * 1);
4647  t137 = (t137 + 1);
4648  t138 = (t135 + 12U);
4649  *((unsigned int*)t138) = t137;
4650  t138 = (t133 + 32U);
4651  t140 = (t138 + 0U);
4652  *((int*)t140) = 0;
4653  t140 = (t138 + 4U);
4654  *((int*)t140) = 3;
4655  t140 = (t138 + 8U);
4656  *((int*)t140) = 1;
4657  t141 = (3 - 0);
4658  t137 = (t141 * 1);
4659  t137 = (t137 + 1);
4660  t140 = (t138 + 12U);
4661  *((unsigned int*)t140) = t137;
4662  t140 = (t5 + 228U);
4663  t142 = (t5 + 116U);
4664  t143 = (t140 + 88U);
4665  *((char**)t143) = t142;
4666  t145 = (t140 + 56U);
4667  *((char**)t145) = t144;
4668  memcpy(t144, t22, 160U);
4669  t146 = (t140 + 64U);
4670  t147 = (t142 + 80U);
4671  t148 = *((char**)t147);
4672  *((char**)t146) = t148;
4673  t149 = (t140 + 80U);
4674  *((unsigned int*)t149) = 160U;
4675  t150 = (t6 + 4U);
4676  *((unsigned char*)t150) = t2;
4677  t151 = (t6 + 5U);
4678  *((unsigned char*)t151) = t3;
4679  t152 = (t6 + 6U);
4680  *((unsigned char*)t152) = t4;
4681  t153 = (t140 + 56U);
4682  t154 = *((char**)t153);
4683  t155 = (t4 - 0);
4684  t137 = (t155 * 1);
4685  t156 = (t137 * 4U);
4686  t157 = (t156 * 4U);
4687  t158 = (t3 - 0);
4688  t159 = (t158 * 1);
4689  t160 = (t159 * 4U);
4690  t161 = (t157 + t160);
4691  t162 = (t2 - 0);
4692  t163 = (t162 * 1);
4693  t164 = (t161 + t163);
4694  t165 = (1U * t164);
4695  t166 = (0 + t165);
4696  t153 = (t154 + t166);
4697  t167 = *((unsigned char*)t153);
4698  t0 = t167;
4699 
4700 LAB1:
4701  t7 = (t5 + 116U);
4702  xsi_delete_type(t7, 2);
4703  return t0;
4704 LAB2:;
4705 }
4706 
4707 unsigned char ieee_p_0017514958_sub_450477564_1861681735(char* t1,
4708  unsigned char t2,
4709  unsigned char t3,
4710  unsigned char t4)
4711 {
4712  char t5[352];
4713  char t6[8];
4714  char t13[48];
4715  char t133[48];
4716  char t144[160];
4717  unsigned char t0;
4718  char* t7;
4719  char* t8;
4720  char* t9;
4721  char* t10;
4722  char* t11;
4723  char* t12;
4724  char* t14;
4725  char* t15;
4726  int t16;
4727  unsigned int t17;
4728  char* t18;
4729  int t19;
4730  char* t20;
4731  int t21;
4732  char* t22;
4733  char* t23;
4734  unsigned int t24;
4735  char* t25;
4736  unsigned int t26;
4737  char* t27;
4738  unsigned int t28;
4739  char* t29;
4740  unsigned int t30;
4741  char* t31;
4742  unsigned int t32;
4743  char* t33;
4744  unsigned int t34;
4745  unsigned int t35;
4746  char* t36;
4747  unsigned int t37;
4748  char* t38;
4749  unsigned int t39;
4750  char* t40;
4751  unsigned int t41;
4752  char* t42;
4753  unsigned int t43;
4754  char* t44;
4755  unsigned int t45;
4756  unsigned int t46;
4757  char* t47;
4758  unsigned int t48;
4759  char* t49;
4760  unsigned int t50;
4761  char* t51;
4762  unsigned int t52;
4763  char* t53;
4764  unsigned int t54;
4765  char* t55;
4766  unsigned int t56;
4767  unsigned int t57;
4768  char* t58;
4769  unsigned int t59;
4770  char* t60;
4771  unsigned int t61;
4772  char* t62;
4773  unsigned int t63;
4774  char* t64;
4775  unsigned int t65;
4776  char* t66;
4777  unsigned int t67;
4778  unsigned int t68;
4779  char* t69;
4780  unsigned int t70;
4781  char* t71;
4782  unsigned int t72;
4783  char* t73;
4784  unsigned int t74;
4785  char* t75;
4786  unsigned int t76;
4787  char* t77;
4788  unsigned int t78;
4789  unsigned int t79;
4790  char* t80;
4791  unsigned int t81;
4792  char* t82;
4793  unsigned int t83;
4794  char* t84;
4795  unsigned int t85;
4796  char* t86;
4797  unsigned int t87;
4798  char* t88;
4799  unsigned int t89;
4800  unsigned int t90;
4801  char* t91;
4802  unsigned int t92;
4803  char* t93;
4804  unsigned int t94;
4805  char* t95;
4806  unsigned int t96;
4807  char* t97;
4808  unsigned int t98;
4809  char* t99;
4810  unsigned int t100;
4811  unsigned int t101;
4812  char* t102;
4813  unsigned int t103;
4814  char* t104;
4815  unsigned int t105;
4816  char* t106;
4817  unsigned int t107;
4818  char* t108;
4819  unsigned int t109;
4820  char* t110;
4821  unsigned int t111;
4822  unsigned int t112;
4823  char* t113;
4824  unsigned int t114;
4825  char* t115;
4826  unsigned int t116;
4827  char* t117;
4828  unsigned int t118;
4829  char* t119;
4830  unsigned int t120;
4831  char* t121;
4832  unsigned int t122;
4833  unsigned int t123;
4834  char* t124;
4835  unsigned int t125;
4836  char* t126;
4837  unsigned int t127;
4838  char* t128;
4839  unsigned int t129;
4840  char* t130;
4841  unsigned int t131;
4842  char* t132;
4843  char* t134;
4844  char* t135;
4845  int t136;
4846  unsigned int t137;
4847  char* t138;
4848  int t139;
4849  char* t140;
4850  int t141;
4851  char* t142;
4852  char* t143;
4853  char* t145;
4854  char* t146;
4855  char* t147;
4856  char* t148;
4857  char* t149;
4858  char* t150;
4859  char* t151;
4860  char* t152;
4861  char* t153;
4862  char* t154;
4863  int t155;
4864  unsigned int t156;
4865  unsigned int t157;
4866  int t158;
4867  unsigned int t159;
4868  unsigned int t160;
4869  unsigned int t161;
4870  int t162;
4871  unsigned int t163;
4872  unsigned int t164;
4873  unsigned int t165;
4874  unsigned int t166;
4875  unsigned char t167;
4876 
4877 LAB0:
4878  t7 = ((IEEE_P_2592010699) + 3320);
4879  t8 = (t1 + 2504);
4880  t9 = ((IEEE_P_2592010699) + 3608);
4881  t10 = ((IEEE_P_2592010699) + 3608);
4882  t11 = (t5 + 4U);
4883  xsi_create_unconstr_array_type(t11, ng3, t7, 3, t8, t9, t10);
4884  t12 = (t5 + 4U);
4885  t14 = (t13 + 0U);
4886  t15 = (t14 + 0U);
4887  *((int*)t15) = 0;
4888  t15 = (t14 + 4U);
4889  *((int*)t15) = 9;
4890  t15 = (t14 + 8U);
4891  *((int*)t15) = 1;
4892  t16 = (9 - 0);
4893  t17 = (t16 * 1);
4894  t17 = (t17 + 1);
4895  t15 = (t14 + 12U);
4896  *((unsigned int*)t15) = t17;
4897  t15 = (t13 + 16U);
4898  t18 = (t15 + 0U);
4899  *((int*)t18) = 0;
4900  t18 = (t15 + 4U);
4901  *((int*)t18) = 3;
4902  t18 = (t15 + 8U);
4903  *((int*)t18) = 1;
4904  t19 = (3 - 0);
4905  t17 = (t19 * 1);
4906  t17 = (t17 + 1);
4907  t18 = (t15 + 12U);
4908  *((unsigned int*)t18) = t17;
4909  t18 = (t13 + 32U);
4910  t20 = (t18 + 0U);
4911  *((int*)t20) = 0;
4912  t20 = (t18 + 4U);
4913  *((int*)t20) = 3;
4914  t20 = (t18 + 8U);
4915  *((int*)t20) = 1;
4916  t21 = (3 - 0);
4917  t17 = (t21 * 1);
4918  t17 = (t17 + 1);
4919  t20 = (t18 + 12U);
4920  *((unsigned int*)t20) = t17;
4921  t20 = (t5 + 116U);
4922  xsi_create_subtype(t20, ng4, t12, t13, 2);
4923  t22 = xsi_get_transient_memory(160U);
4924  memset(t22, 0, 160U);
4925  t23 = t22;
4926  t17 = (4U * 4U);
4927  t24 = (t17 * 1U);
4928  t25 = t23;
4929  t26 = (4U * 1U);
4930  t27 = t25;
4931  *((unsigned char*)t27) = (unsigned char)0;
4932  t27 = (t27 + 1U);
4933  *((unsigned char*)t27) = (unsigned char)0;
4934  t27 = (t27 + 1U);
4935  *((unsigned char*)t27) = (unsigned char)0;
4936  t27 = (t27 + 1U);
4937  *((unsigned char*)t27) = (unsigned char)0;
4938  t25 = (t25 + t26);
4939  t28 = (4U * 1U);
4940  t29 = t25;
4941  *((unsigned char*)t29) = (unsigned char)0;
4942  t29 = (t29 + 1U);
4943  *((unsigned char*)t29) = (unsigned char)1;
4944  t29 = (t29 + 1U);
4945  *((unsigned char*)t29) = (unsigned char)1;
4946  t29 = (t29 + 1U);
4947  *((unsigned char*)t29) = (unsigned char)1;
4948  t25 = (t25 + t28);
4949  t30 = (4U * 1U);
4950  t31 = t25;
4951  *((unsigned char*)t31) = (unsigned char)0;
4952  t31 = (t31 + 1U);
4953  *((unsigned char*)t31) = (unsigned char)1;
4954  t31 = (t31 + 1U);
4955  *((unsigned char*)t31) = (unsigned char)2;
4956  t31 = (t31 + 1U);
4957  *((unsigned char*)t31) = (unsigned char)3;
4958  t25 = (t25 + t30);
4959  t32 = (4U * 1U);
4960  t33 = t25;
4961  *((unsigned char*)t33) = (unsigned char)4;
4962  t33 = (t33 + 1U);
4963  *((unsigned char*)t33) = (unsigned char)4;
4964  t33 = (t33 + 1U);
4965  *((unsigned char*)t33) = (unsigned char)4;
4966  t33 = (t33 + 1U);
4967  *((unsigned char*)t33) = (unsigned char)4;
4968  t23 = (t23 + t24);
4969  t34 = (4U * 4U);
4970  t35 = (t34 * 1U);
4971  t36 = t23;
4972  t37 = (4U * 1U);
4973  t38 = t36;
4974  *((unsigned char*)t38) = (unsigned char)0;
4975  t38 = (t38 + 1U);
4976  *((unsigned char*)t38) = (unsigned char)0;
4977  t38 = (t38 + 1U);
4978  *((unsigned char*)t38) = (unsigned char)0;
4979  t38 = (t38 + 1U);
4980  *((unsigned char*)t38) = (unsigned char)0;
4981  t36 = (t36 + t37);
4982  t39 = (4U * 1U);
4983  t40 = t36;
4984  *((unsigned char*)t40) = (unsigned char)0;
4985  t40 = (t40 + 1U);
4986  *((unsigned char*)t40) = (unsigned char)1;
4987  t40 = (t40 + 1U);
4988  *((unsigned char*)t40) = (unsigned char)1;
4989  t40 = (t40 + 1U);
4990  *((unsigned char*)t40) = (unsigned char)1;
4991  t36 = (t36 + t39);
4992  t41 = (4U * 1U);
4993  t42 = t36;
4994  *((unsigned char*)t42) = (unsigned char)0;
4995  t42 = (t42 + 1U);
4996  *((unsigned char*)t42) = (unsigned char)1;
4997  t42 = (t42 + 1U);
4998  *((unsigned char*)t42) = (unsigned char)2;
4999  t42 = (t42 + 1U);
5000  *((unsigned char*)t42) = (unsigned char)7;
5001  t36 = (t36 + t41);
5002  t43 = (4U * 1U);
5003  t44 = t36;
5004  *((unsigned char*)t44) = (unsigned char)4;
5005  t44 = (t44 + 1U);
5006  *((unsigned char*)t44) = (unsigned char)4;
5007  t44 = (t44 + 1U);
5008  *((unsigned char*)t44) = (unsigned char)4;
5009  t44 = (t44 + 1U);
5010  *((unsigned char*)t44) = (unsigned char)4;
5011  t23 = (t23 + t35);
5012  t45 = (4U * 4U);
5013  t46 = (t45 * 1U);
5014  t47 = t23;
5015  t48 = (4U * 1U);
5016  t49 = t47;
5017  *((unsigned char*)t49) = (unsigned char)0;
5018  t49 = (t49 + 1U);
5019  *((unsigned char*)t49) = (unsigned char)0;
5020  t49 = (t49 + 1U);
5021  *((unsigned char*)t49) = (unsigned char)0;
5022  t49 = (t49 + 1U);
5023  *((unsigned char*)t49) = (unsigned char)0;
5024  t47 = (t47 + t48);
5025  t50 = (4U * 1U);
5026  t51 = t47;
5027  *((unsigned char*)t51) = (unsigned char)0;
5028  t51 = (t51 + 1U);
5029  *((unsigned char*)t51) = (unsigned char)1;
5030  t51 = (t51 + 1U);
5031  *((unsigned char*)t51) = (unsigned char)1;
5032  t51 = (t51 + 1U);
5033  *((unsigned char*)t51) = (unsigned char)1;
5034  t47 = (t47 + t50);
5035  t52 = (4U * 1U);
5036  t53 = t47;
5037  *((unsigned char*)t53) = (unsigned char)0;
5038  t53 = (t53 + 1U);
5039  *((unsigned char*)t53) = (unsigned char)1;
5040  t53 = (t53 + 1U);
5041  *((unsigned char*)t53) = (unsigned char)6;
5042  t53 = (t53 + 1U);
5043  *((unsigned char*)t53) = (unsigned char)3;
5044  t47 = (t47 + t52);
5045  t54 = (4U * 1U);
5046  t55 = t47;
5047  *((unsigned char*)t55) = (unsigned char)4;
5048  t55 = (t55 + 1U);
5049  *((unsigned char*)t55) = (unsigned char)4;
5050  t55 = (t55 + 1U);
5051  *((unsigned char*)t55) = (unsigned char)4;
5052  t55 = (t55 + 1U);
5053  *((unsigned char*)t55) = (unsigned char)4;
5054  t23 = (t23 + t46);
5055  t56 = (4U * 4U);
5056  t57 = (t56 * 1U);
5057  t58 = t23;
5058  t59 = (4U * 1U);
5059  t60 = t58;
5060  *((unsigned char*)t60) = (unsigned char)0;
5061  t60 = (t60 + 1U);
5062  *((unsigned char*)t60) = (unsigned char)0;
5063  t60 = (t60 + 1U);
5064  *((unsigned char*)t60) = (unsigned char)0;
5065  t60 = (t60 + 1U);
5066  *((unsigned char*)t60) = (unsigned char)4;
5067  t58 = (t58 + t59);
5068  t61 = (4U * 1U);
5069  t62 = t58;
5070  *((unsigned char*)t62) = (unsigned char)0;
5071  t62 = (t62 + 1U);
5072  *((unsigned char*)t62) = (unsigned char)1;
5073  t62 = (t62 + 1U);
5074  *((unsigned char*)t62) = (unsigned char)1;
5075  t62 = (t62 + 1U);
5076  *((unsigned char*)t62) = (unsigned char)4;
5077  t58 = (t58 + t61);
5078  t63 = (4U * 1U);
5079  t64 = t58;
5080  *((unsigned char*)t64) = (unsigned char)0;
5081  t64 = (t64 + 1U);
5082  *((unsigned char*)t64) = (unsigned char)1;
5083  t64 = (t64 + 1U);
5084  *((unsigned char*)t64) = (unsigned char)2;
5085  t64 = (t64 + 1U);
5086  *((unsigned char*)t64) = (unsigned char)4;
5087  t58 = (t58 + t63);
5088  t65 = (4U * 1U);
5089  t66 = t58;
5090  *((unsigned char*)t66) = (unsigned char)4;
5091  t66 = (t66 + 1U);
5092  *((unsigned char*)t66) = (unsigned char)4;
5093  t66 = (t66 + 1U);
5094  *((unsigned char*)t66) = (unsigned char)4;
5095  t66 = (t66 + 1U);
5096  *((unsigned char*)t66) = (unsigned char)4;
5097  t23 = (t23 + t57);
5098  t67 = (4U * 4U);
5099  t68 = (t67 * 1U);
5100  t69 = t23;
5101  t70 = (4U * 1U);
5102  t71 = t69;
5103  *((unsigned char*)t71) = (unsigned char)0;
5104  t71 = (t71 + 1U);
5105  *((unsigned char*)t71) = (unsigned char)0;
5106  t71 = (t71 + 1U);
5107  *((unsigned char*)t71) = (unsigned char)0;
5108  t71 = (t71 + 1U);
5109  *((unsigned char*)t71) = (unsigned char)0;
5110  t69 = (t69 + t70);
5111  t72 = (4U * 1U);
5112  t73 = t69;
5113  *((unsigned char*)t73) = (unsigned char)0;
5114  t73 = (t73 + 1U);
5115  *((unsigned char*)t73) = (unsigned char)1;
5116  t73 = (t73 + 1U);
5117  *((unsigned char*)t73) = (unsigned char)1;
5118  t73 = (t73 + 1U);
5119  *((unsigned char*)t73) = (unsigned char)1;
5120  t69 = (t69 + t72);
5121  t74 = (4U * 1U);
5122  t75 = t69;
5123  *((unsigned char*)t75) = (unsigned char)0;
5124  t75 = (t75 + 1U);
5125  *((unsigned char*)t75) = (unsigned char)1;
5126  t75 = (t75 + 1U);
5127  *((unsigned char*)t75) = (unsigned char)4;
5128  t75 = (t75 + 1U);
5129  *((unsigned char*)t75) = (unsigned char)3;
5130  t69 = (t69 + t74);
5131  t76 = (4U * 1U);
5132  t77 = t69;
5133  *((unsigned char*)t77) = (unsigned char)4;
5134  t77 = (t77 + 1U);
5135  *((unsigned char*)t77) = (unsigned char)4;
5136  t77 = (t77 + 1U);
5137  *((unsigned char*)t77) = (unsigned char)4;
5138  t77 = (t77 + 1U);
5139  *((unsigned char*)t77) = (unsigned char)4;
5140  t23 = (t23 + t68);
5141  t78 = (4U * 4U);
5142  t79 = (t78 * 1U);
5143  t80 = t23;
5144  t81 = (4U * 1U);
5145  t82 = t80;
5146  *((unsigned char*)t82) = (unsigned char)0;
5147  t82 = (t82 + 1U);
5148  *((unsigned char*)t82) = (unsigned char)0;
5149  t82 = (t82 + 1U);
5150  *((unsigned char*)t82) = (unsigned char)0;
5151  t82 = (t82 + 1U);
5152  *((unsigned char*)t82) = (unsigned char)0;
5153  t80 = (t80 + t81);
5154  t83 = (4U * 1U);
5155  t84 = t80;
5156  *((unsigned char*)t84) = (unsigned char)0;
5157  t84 = (t84 + 1U);
5158  *((unsigned char*)t84) = (unsigned char)5;
5159  t84 = (t84 + 1U);
5160  *((unsigned char*)t84) = (unsigned char)5;
5161  t84 = (t84 + 1U);
5162  *((unsigned char*)t84) = (unsigned char)5;
5163  t80 = (t80 + t83);
5164  t85 = (4U * 1U);
5165  t86 = t80;
5166  *((unsigned char*)t86) = (unsigned char)0;
5167  t86 = (t86 + 1U);
5168  *((unsigned char*)t86) = (unsigned char)5;
5169  t86 = (t86 + 1U);
5170  *((unsigned char*)t86) = (unsigned char)6;
5171  t86 = (t86 + 1U);
5172  *((unsigned char*)t86) = (unsigned char)7;
5173  t80 = (t80 + t85);
5174  t87 = (4U * 1U);
5175  t88 = t80;
5176  *((unsigned char*)t88) = (unsigned char)4;
5177  t88 = (t88 + 1U);
5178  *((unsigned char*)t88) = (unsigned char)4;
5179  t88 = (t88 + 1U);
5180  *((unsigned char*)t88) = (unsigned char)4;
5181  t88 = (t88 + 1U);
5182  *((unsigned char*)t88) = (unsigned char)4;
5183  t23 = (t23 + t79);
5184  t89 = (4U * 4U);
5185  t90 = (t89 * 1U);
5186  t91 = t23;
5187  t92 = (4U * 1U);
5188  t93 = t91;
5189  *((unsigned char*)t93) = (unsigned char)0;
5190  t93 = (t93 + 1U);
5191  *((unsigned char*)t93) = (unsigned char)0;
5192  t93 = (t93 + 1U);
5193  *((unsigned char*)t93) = (unsigned char)0;
5194  t93 = (t93 + 1U);
5195  *((unsigned char*)t93) = (unsigned char)0;
5196  t91 = (t91 + t92);
5197  t94 = (4U * 1U);
5198  t95 = t91;
5199  *((unsigned char*)t95) = (unsigned char)0;
5200  t95 = (t95 + 1U);
5201  *((unsigned char*)t95) = (unsigned char)5;
5202  t95 = (t95 + 1U);
5203  *((unsigned char*)t95) = (unsigned char)5;
5204  t95 = (t95 + 1U);
5205  *((unsigned char*)t95) = (unsigned char)4;
5206  t91 = (t91 + t94);
5207  t96 = (4U * 1U);
5208  t97 = t91;
5209  *((unsigned char*)t97) = (unsigned char)0;
5210  t97 = (t97 + 1U);
5211  *((unsigned char*)t97) = (unsigned char)5;
5212  t97 = (t97 + 1U);
5213  *((unsigned char*)t97) = (unsigned char)6;
5214  t97 = (t97 + 1U);
5215  *((unsigned char*)t97) = (unsigned char)4;
5216  t91 = (t91 + t96);
5217  t98 = (4U * 1U);
5218  t99 = t91;
5219  *((unsigned char*)t99) = (unsigned char)4;
5220  t99 = (t99 + 1U);
5221  *((unsigned char*)t99) = (unsigned char)4;
5222  t99 = (t99 + 1U);
5223  *((unsigned char*)t99) = (unsigned char)4;
5224  t99 = (t99 + 1U);
5225  *((unsigned char*)t99) = (unsigned char)4;
5226  t23 = (t23 + t90);
5227  t100 = (4U * 4U);
5228  t101 = (t100 * 1U);
5229  t102 = t23;
5230  t103 = (4U * 1U);
5231  t104 = t102;
5232  *((unsigned char*)t104) = (unsigned char)0;
5233  t104 = (t104 + 1U);
5234  *((unsigned char*)t104) = (unsigned char)0;
5235  t104 = (t104 + 1U);
5236  *((unsigned char*)t104) = (unsigned char)0;
5237  t104 = (t104 + 1U);
5238  *((unsigned char*)t104) = (unsigned char)0;
5239  t102 = (t102 + t103);
5240  t105 = (4U * 1U);
5241  t106 = t102;
5242  *((unsigned char*)t106) = (unsigned char)0;
5243  t106 = (t106 + 1U);
5244  *((unsigned char*)t106) = (unsigned char)5;
5245  t106 = (t106 + 1U);
5246  *((unsigned char*)t106) = (unsigned char)5;
5247  t106 = (t106 + 1U);
5248  *((unsigned char*)t106) = (unsigned char)5;
5249  t102 = (t102 + t105);
5250  t107 = (4U * 1U);
5251  t108 = t102;
5252  *((unsigned char*)t108) = (unsigned char)0;
5253  t108 = (t108 + 1U);
5254  *((unsigned char*)t108) = (unsigned char)5;
5255  t108 = (t108 + 1U);
5256  *((unsigned char*)t108) = (unsigned char)4;
5257  t108 = (t108 + 1U);
5258  *((unsigned char*)t108) = (unsigned char)7;
5259  t102 = (t102 + t107);
5260  t109 = (4U * 1U);
5261  t110 = t102;
5262  *((unsigned char*)t110) = (unsigned char)4;
5263  t110 = (t110 + 1U);
5264  *((unsigned char*)t110) = (unsigned char)4;
5265  t110 = (t110 + 1U);
5266  *((unsigned char*)t110) = (unsigned char)4;
5267  t110 = (t110 + 1U);
5268  *((unsigned char*)t110) = (unsigned char)4;
5269  t23 = (t23 + t101);
5270  t111 = (4U * 4U);
5271  t112 = (t111 * 1U);
5272  t113 = t23;
5273  t114 = (4U * 1U);
5274  t115 = t113;
5275  *((unsigned char*)t115) = (unsigned char)0;
5276  t115 = (t115 + 1U);
5277  *((unsigned char*)t115) = (unsigned char)0;
5278  t115 = (t115 + 1U);
5279  *((unsigned char*)t115) = (unsigned char)0;
5280  t115 = (t115 + 1U);
5281  *((unsigned char*)t115) = (unsigned char)0;
5282  t113 = (t113 + t114);
5283  t116 = (4U * 1U);
5284  t117 = t113;
5285  *((unsigned char*)t117) = (unsigned char)0;
5286  t117 = (t117 + 1U);
5287  *((unsigned char*)t117) = (unsigned char)5;
5288  t117 = (t117 + 1U);
5289  *((unsigned char*)t117) = (unsigned char)5;
5290  t117 = (t117 + 1U);
5291  *((unsigned char*)t117) = (unsigned char)5;
5292  t113 = (t113 + t116);
5293  t118 = (4U * 1U);
5294  t119 = t113;
5295  *((unsigned char*)t119) = (unsigned char)0;
5296  t119 = (t119 + 1U);
5297  *((unsigned char*)t119) = (unsigned char)5;
5298  t119 = (t119 + 1U);
5299  *((unsigned char*)t119) = (unsigned char)2;
5300  t119 = (t119 + 1U);
5301  *((unsigned char*)t119) = (unsigned char)7;
5302  t113 = (t113 + t118);
5303  t120 = (4U * 1U);
5304  t121 = t113;
5305  *((unsigned char*)t121) = (unsigned char)4;
5306  t121 = (t121 + 1U);
5307  *((unsigned char*)t121) = (unsigned char)4;
5308  t121 = (t121 + 1U);
5309  *((unsigned char*)t121) = (unsigned char)4;
5310  t121 = (t121 + 1U);
5311  *((unsigned char*)t121) = (unsigned char)4;
5312  t23 = (t23 + t112);
5313  t122 = (4U * 4U);
5314  t123 = (t122 * 1U);
5315  t124 = t23;
5316  t125 = (4U * 1U);
5317  t126 = t124;
5318  *((unsigned char*)t126) = (unsigned char)0;
5319  t126 = (t126 + 1U);
5320  *((unsigned char*)t126) = (unsigned char)0;
5321  t126 = (t126 + 1U);
5322  *((unsigned char*)t126) = (unsigned char)0;
5323  t126 = (t126 + 1U);
5324  *((unsigned char*)t126) = (unsigned char)0;
5325  t124 = (t124 + t125);
5326  t127 = (4U * 1U);
5327  t128 = t124;
5328  *((unsigned char*)t128) = (unsigned char)0;
5329  t128 = (t128 + 1U);
5330  *((unsigned char*)t128) = (unsigned char)5;
5331  t128 = (t128 + 1U);
5332  *((unsigned char*)t128) = (unsigned char)5;
5333  t128 = (t128 + 1U);
5334  *((unsigned char*)t128) = (unsigned char)5;
5335  t124 = (t124 + t127);
5336  t129 = (4U * 1U);
5337  t130 = t124;
5338  *((unsigned char*)t130) = (unsigned char)0;
5339  t130 = (t130 + 1U);
5340  *((unsigned char*)t130) = (unsigned char)5;
5341  t130 = (t130 + 1U);
5342  *((unsigned char*)t130) = (unsigned char)6;
5343  t130 = (t130 + 1U);
5344  *((unsigned char*)t130) = (unsigned char)3;
5345  t124 = (t124 + t129);
5346  t131 = (4U * 1U);
5347  t132 = t124;
5348  *((unsigned char*)t132) = (unsigned char)4;
5349  t132 = (t132 + 1U);
5350  *((unsigned char*)t132) = (unsigned char)4;
5351  t132 = (t132 + 1U);
5352  *((unsigned char*)t132) = (unsigned char)4;
5353  t132 = (t132 + 1U);
5354  *((unsigned char*)t132) = (unsigned char)4;
5355  t134 = (t133 + 0U);
5356  t135 = (t134 + 0U);
5357  *((int*)t135) = 0;
5358  t135 = (t134 + 4U);
5359  *((int*)t135) = 9;
5360  t135 = (t134 + 8U);
5361  *((int*)t135) = 1;
5362  t136 = (9 - 0);
5363  t137 = (t136 * 1);
5364  t137 = (t137 + 1);
5365  t135 = (t134 + 12U);
5366  *((unsigned int*)t135) = t137;
5367  t135 = (t133 + 16U);
5368  t138 = (t135 + 0U);
5369  *((int*)t138) = 0;
5370  t138 = (t135 + 4U);
5371  *((int*)t138) = 3;
5372  t138 = (t135 + 8U);
5373  *((int*)t138) = 1;
5374  t139 = (3 - 0);
5375  t137 = (t139 * 1);
5376  t137 = (t137 + 1);
5377  t138 = (t135 + 12U);
5378  *((unsigned int*)t138) = t137;
5379  t138 = (t133 + 32U);
5380  t140 = (t138 + 0U);
5381  *((int*)t140) = 0;
5382  t140 = (t138 + 4U);
5383  *((int*)t140) = 3;
5384  t140 = (t138 + 8U);
5385  *((int*)t140) = 1;
5386  t141 = (3 - 0);
5387  t137 = (t141 * 1);
5388  t137 = (t137 + 1);
5389  t140 = (t138 + 12U);
5390  *((unsigned int*)t140) = t137;
5391  t140 = (t5 + 228U);
5392  t142 = (t5 + 116U);
5393  t143 = (t140 + 88U);
5394  *((char**)t143) = t142;
5395  t145 = (t140 + 56U);
5396  *((char**)t145) = t144;
5397  memcpy(t144, t22, 160U);
5398  t146 = (t140 + 64U);
5399  t147 = (t142 + 80U);
5400  t148 = *((char**)t147);
5401  *((char**)t146) = t148;
5402  t149 = (t140 + 80U);
5403  *((unsigned int*)t149) = 160U;
5404  t150 = (t6 + 4U);
5405  *((unsigned char*)t150) = t2;
5406  t151 = (t6 + 5U);
5407  *((unsigned char*)t151) = t3;
5408  t152 = (t6 + 6U);
5409  *((unsigned char*)t152) = t4;
5410  t153 = (t140 + 56U);
5411  t154 = *((char**)t153);
5412  t155 = (t4 - 0);
5413  t137 = (t155 * 1);
5414  t156 = (t137 * 4U);
5415  t157 = (t156 * 4U);
5416  t158 = (t3 - 0);
5417  t159 = (t158 * 1);
5418  t160 = (t159 * 4U);
5419  t161 = (t157 + t160);
5420  t162 = (t2 - 0);
5421  t163 = (t162 * 1);
5422  t164 = (t161 + t163);
5423  t165 = (1U * t164);
5424  t166 = (0 + t165);
5425  t153 = (t154 + t166);
5426  t167 = *((unsigned char*)t153);
5427  t0 = t167;
5428 
5429 LAB1:
5430  t7 = (t5 + 116U);
5431  xsi_delete_type(t7, 2);
5432  return t0;
5433 LAB2:;
5434 }
5435 
5436 unsigned char ieee_p_0017514958_sub_3950909432_1861681735(char* t1,
5437  unsigned char t2,
5438  unsigned char t3,
5439  unsigned char t4)
5440 {
5441  char t5[352];
5442  char t6[8];
5443  char t13[48];
5444  char t67[48];
5445  char t78[64];
5446  unsigned char t0;
5447  char* t7;
5448  char* t8;
5449  char* t9;
5450  char* t10;
5451  char* t11;
5452  char* t12;
5453  char* t14;
5454  char* t15;
5455  int t16;
5456  unsigned int t17;
5457  char* t18;
5458  int t19;
5459  char* t20;
5460  int t21;
5461  char* t22;
5462  char* t23;
5463  unsigned int t24;
5464  char* t25;
5465  unsigned int t26;
5466  char* t27;
5467  unsigned int t28;
5468  char* t29;
5469  unsigned int t30;
5470  char* t31;
5471  unsigned int t32;
5472  char* t33;
5473  unsigned int t34;
5474  unsigned int t35;
5475  char* t36;
5476  unsigned int t37;
5477  char* t38;
5478  unsigned int t39;
5479  char* t40;
5480  unsigned int t41;
5481  char* t42;
5482  unsigned int t43;
5483  char* t44;
5484  unsigned int t45;
5485  unsigned int t46;
5486  char* t47;
5487  unsigned int t48;
5488  char* t49;
5489  unsigned int t50;
5490  char* t51;
5491  unsigned int t52;
5492  char* t53;
5493  unsigned int t54;
5494  char* t55;
5495  unsigned int t56;
5496  unsigned int t57;
5497  char* t58;
5498  unsigned int t59;
5499  char* t60;
5500  unsigned int t61;
5501  char* t62;
5502  unsigned int t63;
5503  char* t64;
5504  unsigned int t65;
5505  char* t66;
5506  char* t68;
5507  char* t69;
5508  int t70;
5509  unsigned int t71;
5510  char* t72;
5511  int t73;
5512  char* t74;
5513  int t75;
5514  char* t76;
5515  char* t77;
5516  char* t79;
5517  char* t80;
5518  char* t81;
5519  char* t82;
5520  char* t83;
5521  char* t84;
5522  char* t85;
5523  char* t86;
5524  char* t87;
5525  char* t88;
5526  int t89;
5527  unsigned int t90;
5528  unsigned int t91;
5529  int t92;
5530  unsigned int t93;
5531  unsigned int t94;
5532  unsigned int t95;
5533  int t96;
5534  unsigned int t97;
5535  unsigned int t98;
5536  unsigned int t99;
5537  unsigned int t100;
5538  unsigned char t101;
5539 
5540 LAB0:
5541  t7 = ((IEEE_P_2592010699) + 3608);
5542  t8 = ((IEEE_P_2592010699) + 3608);
5543  t9 = ((IEEE_P_2592010699) + 3608);
5544  t10 = ((IEEE_P_2592010699) + 3608);
5545  t11 = (t5 + 4U);
5546  xsi_create_unconstr_array_type(t11, ng5, t7, 3, t8, t9, t10);
5547  t12 = (t5 + 4U);
5548  t14 = (t13 + 0U);
5549  t15 = (t14 + 0U);
5550  *((int*)t15) = 0;
5551  t15 = (t14 + 4U);
5552  *((int*)t15) = 3;
5553  t15 = (t14 + 8U);
5554  *((int*)t15) = 1;
5555  t16 = (3 - 0);
5556  t17 = (t16 * 1);
5557  t17 = (t17 + 1);
5558  t15 = (t14 + 12U);
5559  *((unsigned int*)t15) = t17;
5560  t15 = (t13 + 16U);
5561  t18 = (t15 + 0U);
5562  *((int*)t18) = 0;
5563  t18 = (t15 + 4U);
5564  *((int*)t18) = 3;
5565  t18 = (t15 + 8U);
5566  *((int*)t18) = 1;
5567  t19 = (3 - 0);
5568  t17 = (t19 * 1);
5569  t17 = (t17 + 1);
5570  t18 = (t15 + 12U);
5571  *((unsigned int*)t18) = t17;
5572  t18 = (t13 + 32U);
5573  t20 = (t18 + 0U);
5574  *((int*)t20) = 0;
5575  t20 = (t18 + 4U);
5576  *((int*)t20) = 3;
5577  t20 = (t18 + 8U);
5578  *((int*)t20) = 1;
5579  t21 = (3 - 0);
5580  t17 = (t21 * 1);
5581  t17 = (t17 + 1);
5582  t20 = (t18 + 12U);
5583  *((unsigned int*)t20) = t17;
5584  t20 = (t5 + 116U);
5585  xsi_create_subtype(t20, ng6, t12, t13, 2);
5586  t22 = xsi_get_transient_memory(64U);
5587  memset(t22, 0, 64U);
5588  t23 = t22;
5589  t17 = (4U * 4U);
5590  t24 = (t17 * 1U);
5591  t25 = t23;
5592  t26 = (4U * 1U);
5593  t27 = t25;
5594  *((unsigned char*)t27) = (unsigned char)0;
5595  t27 = (t27 + 1U);
5596  *((unsigned char*)t27) = (unsigned char)0;
5597  t27 = (t27 + 1U);
5598  *((unsigned char*)t27) = (unsigned char)0;
5599  t27 = (t27 + 1U);
5600  *((unsigned char*)t27) = (unsigned char)0;
5601  t25 = (t25 + t26);
5602  t28 = (4U * 1U);
5603  t29 = t25;
5604  *((unsigned char*)t29) = (unsigned char)0;
5605  t29 = (t29 + 1U);
5606  *((unsigned char*)t29) = (unsigned char)0;
5607  t29 = (t29 + 1U);
5608  *((unsigned char*)t29) = (unsigned char)0;
5609  t29 = (t29 + 1U);
5610  *((unsigned char*)t29) = (unsigned char)0;
5611  t25 = (t25 + t28);
5612  t30 = (4U * 1U);
5613  t31 = t25;
5614  *((unsigned char*)t31) = (unsigned char)0;
5615  t31 = (t31 + 1U);
5616  *((unsigned char*)t31) = (unsigned char)1;
5617  t31 = (t31 + 1U);
5618  *((unsigned char*)t31) = (unsigned char)2;
5619  t31 = (t31 + 1U);
5620  *((unsigned char*)t31) = (unsigned char)3;
5621  t25 = (t25 + t30);
5622  t32 = (4U * 1U);
5623  t33 = t25;
5624  *((unsigned char*)t33) = (unsigned char)0;
5625  t33 = (t33 + 1U);
5626  *((unsigned char*)t33) = (unsigned char)0;
5627  t33 = (t33 + 1U);
5628  *((unsigned char*)t33) = (unsigned char)0;
5629  t33 = (t33 + 1U);
5630  *((unsigned char*)t33) = (unsigned char)0;
5631  t23 = (t23 + t24);
5632  t34 = (4U * 4U);
5633  t35 = (t34 * 1U);
5634  t36 = t23;
5635  t37 = (4U * 1U);
5636  t38 = t36;
5637  *((unsigned char*)t38) = (unsigned char)0;
5638  t38 = (t38 + 1U);
5639  *((unsigned char*)t38) = (unsigned char)1;
5640  t38 = (t38 + 1U);
5641  *((unsigned char*)t38) = (unsigned char)0;
5642  t38 = (t38 + 1U);
5643  *((unsigned char*)t38) = (unsigned char)0;
5644  t36 = (t36 + t37);
5645  t39 = (4U * 1U);
5646  t40 = t36;
5647  *((unsigned char*)t40) = (unsigned char)0;
5648  t40 = (t40 + 1U);
5649  *((unsigned char*)t40) = (unsigned char)1;
5650  t40 = (t40 + 1U);
5651  *((unsigned char*)t40) = (unsigned char)1;
5652  t40 = (t40 + 1U);
5653  *((unsigned char*)t40) = (unsigned char)1;
5654  t36 = (t36 + t39);
5655  t41 = (4U * 1U);
5656  t42 = t36;
5657  *((unsigned char*)t42) = (unsigned char)0;
5658  t42 = (t42 + 1U);
5659  *((unsigned char*)t42) = (unsigned char)1;
5660  t42 = (t42 + 1U);
5661  *((unsigned char*)t42) = (unsigned char)2;
5662  t42 = (t42 + 1U);
5663  *((unsigned char*)t42) = (unsigned char)3;
5664  t36 = (t36 + t41);
5665  t43 = (4U * 1U);
5666  t44 = t36;
5667  *((unsigned char*)t44) = (unsigned char)1;
5668  t44 = (t44 + 1U);
5669  *((unsigned char*)t44) = (unsigned char)1;
5670  t44 = (t44 + 1U);
5671  *((unsigned char*)t44) = (unsigned char)1;
5672  t44 = (t44 + 1U);
5673  *((unsigned char*)t44) = (unsigned char)1;
5674  t23 = (t23 + t35);
5675  t45 = (4U * 4U);
5676  t46 = (t45 * 1U);
5677  t47 = t23;
5678  t48 = (4U * 1U);
5679  t49 = t47;
5680  *((unsigned char*)t49) = (unsigned char)0;
5681  t49 = (t49 + 1U);
5682  *((unsigned char*)t49) = (unsigned char)0;
5683  t49 = (t49 + 1U);
5684  *((unsigned char*)t49) = (unsigned char)2;
5685  t49 = (t49 + 1U);
5686  *((unsigned char*)t49) = (unsigned char)0;
5687  t47 = (t47 + t48);
5688  t50 = (4U * 1U);
5689  t51 = t47;
5690  *((unsigned char*)t51) = (unsigned char)0;
5691  t51 = (t51 + 1U);
5692  *((unsigned char*)t51) = (unsigned char)1;
5693  t51 = (t51 + 1U);
5694  *((unsigned char*)t51) = (unsigned char)2;
5695  t51 = (t51 + 1U);
5696  *((unsigned char*)t51) = (unsigned char)1;
5697  t47 = (t47 + t50);
5698  t52 = (4U * 1U);
5699  t53 = t47;
5700  *((unsigned char*)t53) = (unsigned char)0;
5701  t53 = (t53 + 1U);
5702  *((unsigned char*)t53) = (unsigned char)1;
5703  t53 = (t53 + 1U);
5704  *((unsigned char*)t53) = (unsigned char)2;
5705  t53 = (t53 + 1U);
5706  *((unsigned char*)t53) = (unsigned char)3;
5707  t47 = (t47 + t52);
5708  t54 = (4U * 1U);
5709  t55 = t47;
5710  *((unsigned char*)t55) = (unsigned char)2;
5711  t55 = (t55 + 1U);
5712  *((unsigned char*)t55) = (unsigned char)2;
5713  t55 = (t55 + 1U);
5714  *((unsigned char*)t55) = (unsigned char)2;
5715  t55 = (t55 + 1U);
5716  *((unsigned char*)t55) = (unsigned char)2;
5717  t23 = (t23 + t46);
5718  t56 = (4U * 4U);
5719  t57 = (t56 * 1U);
5720  t58 = t23;
5721  t59 = (4U * 1U);
5722  t60 = t58;
5723  *((unsigned char*)t60) = (unsigned char)0;
5724  t60 = (t60 + 1U);
5725  *((unsigned char*)t60) = (unsigned char)0;
5726  t60 = (t60 + 1U);
5727  *((unsigned char*)t60) = (unsigned char)0;
5728  t60 = (t60 + 1U);
5729  *((unsigned char*)t60) = (unsigned char)3;
5730  t58 = (t58 + t59);
5731  t61 = (4U * 1U);
5732  t62 = t58;
5733  *((unsigned char*)t62) = (unsigned char)0;
5734  t62 = (t62 + 1U);
5735  *((unsigned char*)t62) = (unsigned char)1;
5736  t62 = (t62 + 1U);
5737  *((unsigned char*)t62) = (unsigned char)1;
5738  t62 = (t62 + 1U);
5739  *((unsigned char*)t62) = (unsigned char)3;
5740  t58 = (t58 + t61);
5741  t63 = (4U * 1U);
5742  t64 = t58;
5743  *((unsigned char*)t64) = (unsigned char)0;
5744  t64 = (t64 + 1U);
5745  *((unsigned char*)t64) = (unsigned char)1;
5746  t64 = (t64 + 1U);
5747  *((unsigned char*)t64) = (unsigned char)2;
5748  t64 = (t64 + 1U);
5749  *((unsigned char*)t64) = (unsigned char)3;
5750  t58 = (t58 + t63);
5751  t65 = (4U * 1U);
5752  t66 = t58;
5753  *((unsigned char*)t66) = (unsigned char)3;
5754  t66 = (t66 + 1U);
5755  *((unsigned char*)t66) = (unsigned char)3;
5756  t66 = (t66 + 1U);
5757  *((unsigned char*)t66) = (unsigned char)3;
5758  t66 = (t66 + 1U);
5759  *((unsigned char*)t66) = (unsigned char)3;
5760  t68 = (t67 + 0U);
5761  t69 = (t68 + 0U);
5762  *((int*)t69) = 0;
5763  t69 = (t68 + 4U);
5764  *((int*)t69) = 3;
5765  t69 = (t68 + 8U);
5766  *((int*)t69) = 1;
5767  t70 = (3 - 0);
5768  t71 = (t70 * 1);
5769  t71 = (t71 + 1);
5770  t69 = (t68 + 12U);
5771  *((unsigned int*)t69) = t71;
5772  t69 = (t67 + 16U);
5773  t72 = (t69 + 0U);
5774  *((int*)t72) = 0;
5775  t72 = (t69 + 4U);
5776  *((int*)t72) = 3;
5777  t72 = (t69 + 8U);
5778  *((int*)t72) = 1;
5779  t73 = (3 - 0);
5780  t71 = (t73 * 1);
5781  t71 = (t71 + 1);
5782  t72 = (t69 + 12U);
5783  *((unsigned int*)t72) = t71;
5784  t72 = (t67 + 32U);
5785  t74 = (t72 + 0U);
5786  *((int*)t74) = 0;
5787  t74 = (t72 + 4U);
5788  *((int*)t74) = 3;
5789  t74 = (t72 + 8U);
5790  *((int*)t74) = 1;
5791  t75 = (3 - 0);
5792  t71 = (t75 * 1);
5793  t71 = (t71 + 1);
5794  t74 = (t72 + 12U);
5795  *((unsigned int*)t74) = t71;
5796  t74 = (t5 + 228U);
5797  t76 = (t5 + 116U);
5798  t77 = (t74 + 88U);
5799  *((char**)t77) = t76;
5800  t79 = (t74 + 56U);
5801  *((char**)t79) = t78;
5802  memcpy(t78, t22, 64U);
5803  t80 = (t74 + 64U);
5804  t81 = (t76 + 80U);
5805  t82 = *((char**)t81);
5806  *((char**)t80) = t82;
5807  t83 = (t74 + 80U);
5808  *((unsigned int*)t83) = 64U;
5809  t84 = (t6 + 4U);
5810  *((unsigned char*)t84) = t2;
5811  t85 = (t6 + 5U);
5812  *((unsigned char*)t85) = t3;
5813  t86 = (t6 + 6U);
5814  *((unsigned char*)t86) = t4;
5815  t87 = (t74 + 56U);
5816  t88 = *((char**)t87);
5817  t89 = (t3 - 0);
5818  t71 = (t89 * 1);
5819  t90 = (t71 * 4U);
5820  t91 = (t90 * 4U);
5821  t92 = (t4 - 0);
5822  t93 = (t92 * 1);
5823  t94 = (t93 * 4U);
5824  t95 = (t91 + t94);
5825  t96 = (t2 - 0);
5826  t97 = (t96 * 1);
5827  t98 = (t95 + t97);
5828  t99 = (1U * t98);
5829  t100 = (0 + t99);
5830  t87 = (t88 + t100);
5831  t101 = *((unsigned char*)t87);
5832  t0 = t101;
5833 
5834 LAB1:
5835  t7 = (t5 + 116U);
5836  xsi_delete_type(t7, 2);
5837  return t0;
5838 LAB2:;
5839 }
5840 
5841 unsigned char ieee_p_0017514958_sub_2445840371_1861681735(char* t1,
5842  unsigned char t2,
5843  unsigned char t3,
5844  unsigned char t4)
5845 {
5846  char t5[352];
5847  char t6[8];
5848  char t13[48];
5849  char t67[48];
5850  char t78[64];
5851  unsigned char t0;
5852  char* t7;
5853  char* t8;
5854  char* t9;
5855  char* t10;
5856  char* t11;
5857  char* t12;
5858  char* t14;
5859  char* t15;
5860  int t16;
5861  unsigned int t17;
5862  char* t18;
5863  int t19;
5864  char* t20;
5865  int t21;
5866  char* t22;
5867  char* t23;
5868  unsigned int t24;
5869  char* t25;
5870  unsigned int t26;
5871  char* t27;
5872  unsigned int t28;
5873  char* t29;
5874  unsigned int t30;
5875  char* t31;
5876  unsigned int t32;
5877  char* t33;
5878  unsigned int t34;
5879  unsigned int t35;
5880  char* t36;
5881  unsigned int t37;
5882  char* t38;
5883  unsigned int t39;
5884  char* t40;
5885  unsigned int t41;
5886  char* t42;
5887  unsigned int t43;
5888  char* t44;
5889  unsigned int t45;
5890  unsigned int t46;
5891  char* t47;
5892  unsigned int t48;
5893  char* t49;
5894  unsigned int t50;
5895  char* t51;
5896  unsigned int t52;
5897  char* t53;
5898  unsigned int t54;
5899  char* t55;
5900  unsigned int t56;
5901  unsigned int t57;
5902  char* t58;
5903  unsigned int t59;
5904  char* t60;
5905  unsigned int t61;
5906  char* t62;
5907  unsigned int t63;
5908  char* t64;
5909  unsigned int t65;
5910  char* t66;
5911  char* t68;
5912  char* t69;
5913  int t70;
5914  unsigned int t71;
5915  char* t72;
5916  int t73;
5917  char* t74;
5918  int t75;
5919  char* t76;
5920  char* t77;
5921  char* t79;
5922  char* t80;
5923  char* t81;
5924  char* t82;
5925  char* t83;
5926  char* t84;
5927  char* t85;
5928  char* t86;
5929  char* t87;
5930  char* t88;
5931  int t89;
5932  unsigned int t90;
5933  unsigned int t91;
5934  int t92;
5935  unsigned int t93;
5936  unsigned int t94;
5937  unsigned int t95;
5938  int t96;
5939  unsigned int t97;
5940  unsigned int t98;
5941  unsigned int t99;
5942  unsigned int t100;
5943  unsigned char t101;
5944 
5945 LAB0:
5946  t7 = ((IEEE_P_2592010699) + 3608);
5947  t8 = ((IEEE_P_2592010699) + 3608);
5948  t9 = ((IEEE_P_2592010699) + 3608);
5949  t10 = ((IEEE_P_2592010699) + 3608);
5950  t11 = (t5 + 4U);
5951  xsi_create_unconstr_array_type(t11, ng7, t7, 3, t8, t9, t10);
5952  t12 = (t5 + 4U);
5953  t14 = (t13 + 0U);
5954  t15 = (t14 + 0U);
5955  *((int*)t15) = 0;
5956  t15 = (t14 + 4U);
5957  *((int*)t15) = 3;
5958  t15 = (t14 + 8U);
5959  *((int*)t15) = 1;
5960  t16 = (3 - 0);
5961  t17 = (t16 * 1);
5962  t17 = (t17 + 1);
5963  t15 = (t14 + 12U);
5964  *((unsigned int*)t15) = t17;
5965  t15 = (t13 + 16U);
5966  t18 = (t15 + 0U);
5967  *((int*)t18) = 0;
5968  t18 = (t15 + 4U);
5969  *((int*)t18) = 3;
5970  t18 = (t15 + 8U);
5971  *((int*)t18) = 1;
5972  t19 = (3 - 0);
5973  t17 = (t19 * 1);
5974  t17 = (t17 + 1);
5975  t18 = (t15 + 12U);
5976  *((unsigned int*)t18) = t17;
5977  t18 = (t13 + 32U);
5978  t20 = (t18 + 0U);
5979  *((int*)t20) = 0;
5980  t20 = (t18 + 4U);
5981  *((int*)t20) = 3;
5982  t20 = (t18 + 8U);
5983  *((int*)t20) = 1;
5984  t21 = (3 - 0);
5985  t17 = (t21 * 1);
5986  t17 = (t17 + 1);
5987  t20 = (t18 + 12U);
5988  *((unsigned int*)t20) = t17;
5989  t20 = (t5 + 116U);
5990  xsi_create_subtype(t20, ng8, t12, t13, 2);
5991  t22 = xsi_get_transient_memory(64U);
5992  memset(t22, 0, 64U);
5993  t23 = t22;
5994  t17 = (4U * 4U);
5995  t24 = (t17 * 1U);
5996  t25 = t23;
5997  t26 = (4U * 1U);
5998  t27 = t25;
5999  *((unsigned char*)t27) = (unsigned char)0;
6000  t27 = (t27 + 1U);
6001  *((unsigned char*)t27) = (unsigned char)0;
6002  t27 = (t27 + 1U);
6003  *((unsigned char*)t27) = (unsigned char)0;
6004  t27 = (t27 + 1U);
6005  *((unsigned char*)t27) = (unsigned char)0;
6006  t25 = (t25 + t26);
6007  t28 = (4U * 1U);
6008  t29 = t25;
6009  *((unsigned char*)t29) = (unsigned char)0;
6010  t29 = (t29 + 1U);
6011  *((unsigned char*)t29) = (unsigned char)0;
6012  t29 = (t29 + 1U);
6013  *((unsigned char*)t29) = (unsigned char)0;
6014  t29 = (t29 + 1U);
6015  *((unsigned char*)t29) = (unsigned char)0;
6016  t25 = (t25 + t28);
6017  t30 = (4U * 1U);
6018  t31 = t25;
6019  *((unsigned char*)t31) = (unsigned char)0;
6020  t31 = (t31 + 1U);
6021  *((unsigned char*)t31) = (unsigned char)0;
6022  t31 = (t31 + 1U);
6023  *((unsigned char*)t31) = (unsigned char)2;
6024  t31 = (t31 + 1U);
6025  *((unsigned char*)t31) = (unsigned char)0;
6026  t25 = (t25 + t30);
6027  t32 = (4U * 1U);
6028  t33 = t25;
6029  *((unsigned char*)t33) = (unsigned char)0;
6030  t33 = (t33 + 1U);
6031  *((unsigned char*)t33) = (unsigned char)0;
6032  t33 = (t33 + 1U);
6033  *((unsigned char*)t33) = (unsigned char)0;
6034  t33 = (t33 + 1U);
6035  *((unsigned char*)t33) = (unsigned char)3;
6036  t23 = (t23 + t24);
6037  t34 = (4U * 4U);
6038  t35 = (t34 * 1U);
6039  t36 = t23;
6040  t37 = (4U * 1U);
6041  t38 = t36;
6042  *((unsigned char*)t38) = (unsigned char)0;
6043  t38 = (t38 + 1U);
6044  *((unsigned char*)t38) = (unsigned char)0;
6045  t38 = (t38 + 1U);
6046  *((unsigned char*)t38) = (unsigned char)0;
6047  t38 = (t38 + 1U);
6048  *((unsigned char*)t38) = (unsigned char)0;
6049  t36 = (t36 + t37);
6050  t39 = (4U * 1U);
6051  t40 = t36;
6052  *((unsigned char*)t40) = (unsigned char)0;
6053  t40 = (t40 + 1U);
6054  *((unsigned char*)t40) = (unsigned char)1;
6055  t40 = (t40 + 1U);
6056  *((unsigned char*)t40) = (unsigned char)1;
6057  t40 = (t40 + 1U);
6058  *((unsigned char*)t40) = (unsigned char)1;
6059  t36 = (t36 + t39);
6060  t41 = (4U * 1U);
6061  t42 = t36;
6062  *((unsigned char*)t42) = (unsigned char)0;
6063  t42 = (t42 + 1U);
6064  *((unsigned char*)t42) = (unsigned char)1;
6065  t42 = (t42 + 1U);
6066  *((unsigned char*)t42) = (unsigned char)2;
6067  t42 = (t42 + 1U);
6068  *((unsigned char*)t42) = (unsigned char)1;
6069  t36 = (t36 + t41);
6070  t43 = (4U * 1U);
6071  t44 = t36;
6072  *((unsigned char*)t44) = (unsigned char)0;
6073  t44 = (t44 + 1U);
6074  *((unsigned char*)t44) = (unsigned char)1;
6075  t44 = (t44 + 1U);
6076  *((unsigned char*)t44) = (unsigned char)1;
6077  t44 = (t44 + 1U);
6078  *((unsigned char*)t44) = (unsigned char)3;
6079  t23 = (t23 + t35);
6080  t45 = (4U * 4U);
6081  t46 = (t45 * 1U);
6082  t47 = t23;
6083  t48 = (4U * 1U);
6084  t49 = t47;
6085  *((unsigned char*)t49) = (unsigned char)0;
6086  t49 = (t49 + 1U);
6087  *((unsigned char*)t49) = (unsigned char)0;
6088  t49 = (t49 + 1U);
6089  *((unsigned char*)t49) = (unsigned char)2;
6090  t49 = (t49 + 1U);
6091  *((unsigned char*)t49) = (unsigned char)0;
6092  t47 = (t47 + t48);
6093  t50 = (4U * 1U);
6094  t51 = t47;
6095  *((unsigned char*)t51) = (unsigned char)0;
6096  t51 = (t51 + 1U);
6097  *((unsigned char*)t51) = (unsigned char)1;
6098  t51 = (t51 + 1U);
6099  *((unsigned char*)t51) = (unsigned char)2;
6100  t51 = (t51 + 1U);
6101  *((unsigned char*)t51) = (unsigned char)1;
6102  t47 = (t47 + t50);
6103  t52 = (4U * 1U);
6104  t53 = t47;
6105  *((unsigned char*)t53) = (unsigned char)2;
6106  t53 = (t53 + 1U);
6107  *((unsigned char*)t53) = (unsigned char)2;
6108  t53 = (t53 + 1U);
6109  *((unsigned char*)t53) = (unsigned char)2;
6110  t53 = (t53 + 1U);
6111  *((unsigned char*)t53) = (unsigned char)2;
6112  t47 = (t47 + t52);
6113  t54 = (4U * 1U);
6114  t55 = t47;
6115  *((unsigned char*)t55) = (unsigned char)0;
6116  t55 = (t55 + 1U);
6117  *((unsigned char*)t55) = (unsigned char)1;
6118  t55 = (t55 + 1U);
6119  *((unsigned char*)t55) = (unsigned char)2;
6120  t55 = (t55 + 1U);
6121  *((unsigned char*)t55) = (unsigned char)3;
6122  t23 = (t23 + t46);
6123  t56 = (4U * 4U);
6124  t57 = (t56 * 1U);
6125  t58 = t23;
6126  t59 = (4U * 1U);
6127  t60 = t58;
6128  *((unsigned char*)t60) = (unsigned char)0;
6129  t60 = (t60 + 1U);
6130  *((unsigned char*)t60) = (unsigned char)0;
6131  t60 = (t60 + 1U);
6132  *((unsigned char*)t60) = (unsigned char)0;
6133  t60 = (t60 + 1U);
6134  *((unsigned char*)t60) = (unsigned char)3;
6135  t58 = (t58 + t59);
6136  t61 = (4U * 1U);
6137  t62 = t58;
6138  *((unsigned char*)t62) = (unsigned char)0;
6139  t62 = (t62 + 1U);
6140  *((unsigned char*)t62) = (unsigned char)1;
6141  t62 = (t62 + 1U);
6142  *((unsigned char*)t62) = (unsigned char)1;
6143  t62 = (t62 + 1U);
6144  *((unsigned char*)t62) = (unsigned char)3;
6145  t58 = (t58 + t61);
6146  t63 = (4U * 1U);
6147  t64 = t58;
6148  *((unsigned char*)t64) = (unsigned char)0;
6149  t64 = (t64 + 1U);
6150  *((unsigned char*)t64) = (unsigned char)1;
6151  t64 = (t64 + 1U);
6152  *((unsigned char*)t64) = (unsigned char)2;
6153  t64 = (t64 + 1U);
6154  *((unsigned char*)t64) = (unsigned char)3;
6155  t58 = (t58 + t63);
6156  t65 = (4U * 1U);
6157  t66 = t58;
6158  *((unsigned char*)t66) = (unsigned char)3;
6159  t66 = (t66 + 1U);
6160  *((unsigned char*)t66) = (unsigned char)3;
6161  t66 = (t66 + 1U);
6162  *((unsigned char*)t66) = (unsigned char)3;
6163  t66 = (t66 + 1U);
6164  *((unsigned char*)t66) = (unsigned char)3;
6165  t68 = (t67 + 0U);
6166  t69 = (t68 + 0U);
6167  *((int*)t69) = 0;
6168  t69 = (t68 + 4U);
6169  *((int*)t69) = 3;
6170  t69 = (t68 + 8U);
6171  *((int*)t69) = 1;
6172  t70 = (3 - 0);
6173  t71 = (t70 * 1);
6174  t71 = (t71 + 1);
6175  t69 = (t68 + 12U);
6176  *((unsigned int*)t69) = t71;
6177  t69 = (t67 + 16U);
6178  t72 = (t69 + 0U);
6179  *((int*)t72) = 0;
6180  t72 = (t69 + 4U);
6181  *((int*)t72) = 3;
6182  t72 = (t69 + 8U);
6183  *((int*)t72) = 1;
6184  t73 = (3 - 0);
6185  t71 = (t73 * 1);
6186  t71 = (t71 + 1);
6187  t72 = (t69 + 12U);
6188  *((unsigned int*)t72) = t71;
6189  t72 = (t67 + 32U);
6190  t74 = (t72 + 0U);
6191  *((int*)t74) = 0;
6192  t74 = (t72 + 4U);
6193  *((int*)t74) = 3;
6194  t74 = (t72 + 8U);
6195  *((int*)t74) = 1;
6196  t75 = (3 - 0);
6197  t71 = (t75 * 1);
6198  t71 = (t71 + 1);
6199  t74 = (t72 + 12U);
6200  *((unsigned int*)t74) = t71;
6201  t74 = (t5 + 228U);
6202  t76 = (t5 + 116U);
6203  t77 = (t74 + 88U);
6204  *((char**)t77) = t76;
6205  t79 = (t74 + 56U);
6206  *((char**)t79) = t78;
6207  memcpy(t78, t22, 64U);
6208  t80 = (t74 + 64U);
6209  t81 = (t76 + 80U);
6210  t82 = *((char**)t81);
6211  *((char**)t80) = t82;
6212  t83 = (t74 + 80U);
6213  *((unsigned int*)t83) = 64U;
6214  t84 = (t6 + 4U);
6215  *((unsigned char*)t84) = t2;
6216  t85 = (t6 + 5U);
6217  *((unsigned char*)t85) = t3;
6218  t86 = (t6 + 6U);
6219  *((unsigned char*)t86) = t4;
6220  t87 = (t74 + 56U);
6221  t88 = *((char**)t87);
6222  t89 = (t2 - 0);
6223  t71 = (t89 * 1);
6224  t90 = (t71 * 4U);
6225  t91 = (t90 * 4U);
6226  t92 = (t3 - 0);
6227  t93 = (t92 * 1);
6228  t94 = (t93 * 4U);
6229  t95 = (t91 + t94);
6230  t96 = (t4 - 0);
6231  t97 = (t96 * 1);
6232  t98 = (t95 + t97);
6233  t99 = (1U * t98);
6234  t100 = (0 + t99);
6235  t87 = (t88 + t100);
6236  t101 = *((unsigned char*)t87);
6237  t0 = t101;
6238 
6239 LAB1:
6240  t7 = (t5 + 116U);
6241  xsi_delete_type(t7, 2);
6242  return t0;
6243 LAB2:;
6244 }
6245 
6246 unsigned char ieee_p_0017514958_sub_220240835_1861681735(char* t1,
6247  unsigned char t2,
6248  unsigned char t3)
6249 {
6250  char t4[472];
6251  char t5[8];
6252  char t11[32];
6253  char t37[32];
6254  char t46[88];
6255  char t55[8];
6256  unsigned char t0;
6257  char* t6;
6258  char* t7;
6259  char* t8;
6260  char* t9;
6261  char* t10;
6262  char* t12;
6263  char* t13;
6264  int t14;
6265  unsigned int t15;
6266  char* t16;
6267  int t17;
6268  char* t18;
6269  char* t19;
6270  char* t20;
6271  unsigned int t21;
6272  char* t22;
6273  unsigned int t23;
6274  char* t24;
6275  unsigned int t25;
6276  char* t26;
6277  unsigned int t27;
6278  char* t28;
6279  unsigned int t29;
6280  char* t30;
6281  unsigned int t31;
6282  char* t32;
6283  unsigned int t33;
6284  char* t34;
6285  unsigned int t35;
6286  char* t36;
6287  char* t38;
6288  char* t39;
6289  int t40;
6290  unsigned int t41;
6291  char* t42;
6292  int t43;
6293  char* t44;
6294  char* t45;
6295  char* t47;
6296  char* t48;
6297  char* t49;
6298  char* t50;
6299  char* t51;
6300  char* t52;
6301  char* t53;
6302  char* t54;
6303  char* t56;
6304  char* t57;
6305  char* t58;
6306  char* t59;
6307  char* t60;
6308  char* t61;
6309  int t62;
6310  unsigned int t63;
6311  int t64;
6312  unsigned int t65;
6313  unsigned int t66;
6314  unsigned int t67;
6315  unsigned int t68;
6316  unsigned char t69;
6317  char* t70;
6318  char* t71;
6319 
6320 LAB0:
6321  t6 = ((IEEE_P_2592010699) + 3320);
6322  t7 = ((IEEE_P_2592010699) + 3224);
6323  t8 = ((IEEE_P_2592010699) + 3224);
6324  t9 = (t4 + 4U);
6325  xsi_create_unconstr_array_type(t9, ng9, t6, 2, t7, t8);
6326  t10 = (t4 + 4U);
6327  t12 = (t11 + 0U);
6328  t13 = (t12 + 0U);
6329  *((int*)t13) = 0;
6330  t13 = (t12 + 4U);
6331  *((int*)t13) = 8;
6332  t13 = (t12 + 8U);
6333  *((int*)t13) = 1;
6334  t14 = (8 - 0);
6335  t15 = (t14 * 1);
6336  t15 = (t15 + 1);
6337  t13 = (t12 + 12U);
6338  *((unsigned int*)t13) = t15;
6339  t13 = (t11 + 16U);
6340  t16 = (t13 + 0U);
6341  *((int*)t16) = 0;
6342  t16 = (t13 + 4U);
6343  *((int*)t16) = 8;
6344  t16 = (t13 + 8U);
6345  *((int*)t16) = 1;
6346  t17 = (8 - 0);
6347  t15 = (t17 * 1);
6348  t15 = (t15 + 1);
6349  t16 = (t13 + 12U);
6350  *((unsigned int*)t16) = t15;
6351  t16 = (t4 + 116U);
6352  xsi_create_subtype(t16, ng10, t10, t11, 2);
6353  t18 = xsi_get_transient_memory(81U);
6354  memset(t18, 0, 81U);
6355  t19 = t18;
6356  t15 = (9U * 1U);
6357  t20 = t19;
6358  *((unsigned char*)t20) = (unsigned char)0;
6359  t20 = (t20 + 1U);
6360  *((unsigned char*)t20) = (unsigned char)0;
6361  t20 = (t20 + 1U);
6362  *((unsigned char*)t20) = (unsigned char)0;
6363  t20 = (t20 + 1U);
6364  *((unsigned char*)t20) = (unsigned char)0;
6365  t20 = (t20 + 1U);
6366  *((unsigned char*)t20) = (unsigned char)0;
6367  t20 = (t20 + 1U);
6368  *((unsigned char*)t20) = (unsigned char)0;
6369  t20 = (t20 + 1U);
6370  *((unsigned char*)t20) = (unsigned char)0;
6371  t20 = (t20 + 1U);
6372  *((unsigned char*)t20) = (unsigned char)0;
6373  t20 = (t20 + 1U);
6374  *((unsigned char*)t20) = (unsigned char)0;
6375  t19 = (t19 + t15);
6376  t21 = (9U * 1U);
6377  t22 = t19;
6378  *((unsigned char*)t22) = (unsigned char)0;
6379  t22 = (t22 + 1U);
6380  *((unsigned char*)t22) = (unsigned char)1;
6381  t22 = (t22 + 1U);
6382  *((unsigned char*)t22) = (unsigned char)1;
6383  t22 = (t22 + 1U);
6384  *((unsigned char*)t22) = (unsigned char)1;
6385  t22 = (t22 + 1U);
6386  *((unsigned char*)t22) = (unsigned char)1;
6387  t22 = (t22 + 1U);
6388  *((unsigned char*)t22) = (unsigned char)1;
6389  t22 = (t22 + 1U);
6390  *((unsigned char*)t22) = (unsigned char)1;
6391  t22 = (t22 + 1U);
6392  *((unsigned char*)t22) = (unsigned char)1;
6393  t22 = (t22 + 1U);
6394  *((unsigned char*)t22) = (unsigned char)1;
6395  t19 = (t19 + t21);
6396  t23 = (9U * 1U);
6397  t24 = t19;
6398  *((unsigned char*)t24) = (unsigned char)0;
6399  t24 = (t24 + 1U);
6400  *((unsigned char*)t24) = (unsigned char)1;
6401  t24 = (t24 + 1U);
6402  *((unsigned char*)t24) = (unsigned char)2;
6403  t24 = (t24 + 1U);
6404  *((unsigned char*)t24) = (unsigned char)1;
6405  t24 = (t24 + 1U);
6406  *((unsigned char*)t24) = (unsigned char)2;
6407  t24 = (t24 + 1U);
6408  *((unsigned char*)t24) = (unsigned char)2;
6409  t24 = (t24 + 1U);
6410  *((unsigned char*)t24) = (unsigned char)2;
6411  t24 = (t24 + 1U);
6412  *((unsigned char*)t24) = (unsigned char)2;
6413  t24 = (t24 + 1U);
6414  *((unsigned char*)t24) = (unsigned char)1;
6415  t19 = (t19 + t23);
6416  t25 = (9U * 1U);
6417  t26 = t19;
6418  *((unsigned char*)t26) = (unsigned char)0;
6419  t26 = (t26 + 1U);
6420  *((unsigned char*)t26) = (unsigned char)1;
6421  t26 = (t26 + 1U);
6422  *((unsigned char*)t26) = (unsigned char)1;
6423  t26 = (t26 + 1U);
6424  *((unsigned char*)t26) = (unsigned char)3;
6425  t26 = (t26 + 1U);
6426  *((unsigned char*)t26) = (unsigned char)3;
6427  t26 = (t26 + 1U);
6428  *((unsigned char*)t26) = (unsigned char)3;
6429  t26 = (t26 + 1U);
6430  *((unsigned char*)t26) = (unsigned char)3;
6431  t26 = (t26 + 1U);
6432  *((unsigned char*)t26) = (unsigned char)3;
6433  t26 = (t26 + 1U);
6434  *((unsigned char*)t26) = (unsigned char)1;
6435  t19 = (t19 + t25);
6436  t27 = (9U * 1U);
6437  t28 = t19;
6438  *((unsigned char*)t28) = (unsigned char)0;
6439  t28 = (t28 + 1U);
6440  *((unsigned char*)t28) = (unsigned char)1;
6441  t28 = (t28 + 1U);
6442  *((unsigned char*)t28) = (unsigned char)2;
6443  t28 = (t28 + 1U);
6444  *((unsigned char*)t28) = (unsigned char)3;
6445  t28 = (t28 + 1U);
6446  *((unsigned char*)t28) = (unsigned char)4;
6447  t28 = (t28 + 1U);
6448  *((unsigned char*)t28) = (unsigned char)5;
6449  t28 = (t28 + 1U);
6450  *((unsigned char*)t28) = (unsigned char)6;
6451  t28 = (t28 + 1U);
6452  *((unsigned char*)t28) = (unsigned char)7;
6453  t28 = (t28 + 1U);
6454  *((unsigned char*)t28) = (unsigned char)1;
6455  t19 = (t19 + t27);
6456  t29 = (9U * 1U);
6457  t30 = t19;
6458  *((unsigned char*)t30) = (unsigned char)0;
6459  t30 = (t30 + 1U);
6460  *((unsigned char*)t30) = (unsigned char)1;
6461  t30 = (t30 + 1U);
6462  *((unsigned char*)t30) = (unsigned char)2;
6463  t30 = (t30 + 1U);
6464  *((unsigned char*)t30) = (unsigned char)3;
6465  t30 = (t30 + 1U);
6466  *((unsigned char*)t30) = (unsigned char)5;
6467  t30 = (t30 + 1U);
6468  *((unsigned char*)t30) = (unsigned char)5;
6469  t30 = (t30 + 1U);
6470  *((unsigned char*)t30) = (unsigned char)5;
6471  t30 = (t30 + 1U);
6472  *((unsigned char*)t30) = (unsigned char)5;
6473  t30 = (t30 + 1U);
6474  *((unsigned char*)t30) = (unsigned char)1;
6475  t19 = (t19 + t29);
6476  t31 = (9U * 1U);
6477  t32 = t19;
6478  *((unsigned char*)t32) = (unsigned char)0;
6479  t32 = (t32 + 1U);
6480  *((unsigned char*)t32) = (unsigned char)1;
6481  t32 = (t32 + 1U);
6482  *((unsigned char*)t32) = (unsigned char)2;
6483  t32 = (t32 + 1U);
6484  *((unsigned char*)t32) = (unsigned char)3;
6485  t32 = (t32 + 1U);
6486  *((unsigned char*)t32) = (unsigned char)6;
6487  t32 = (t32 + 1U);
6488  *((unsigned char*)t32) = (unsigned char)5;
6489  t32 = (t32 + 1U);
6490  *((unsigned char*)t32) = (unsigned char)6;
6491  t32 = (t32 + 1U);
6492  *((unsigned char*)t32) = (unsigned char)5;
6493  t32 = (t32 + 1U);
6494  *((unsigned char*)t32) = (unsigned char)1;
6495  t19 = (t19 + t31);
6496  t33 = (9U * 1U);
6497  t34 = t19;
6498  *((unsigned char*)t34) = (unsigned char)0;
6499  t34 = (t34 + 1U);
6500  *((unsigned char*)t34) = (unsigned char)1;
6501  t34 = (t34 + 1U);
6502  *((unsigned char*)t34) = (unsigned char)2;
6503  t34 = (t34 + 1U);
6504  *((unsigned char*)t34) = (unsigned char)3;
6505  t34 = (t34 + 1U);
6506  *((unsigned char*)t34) = (unsigned char)7;
6507  t34 = (t34 + 1U);
6508  *((unsigned char*)t34) = (unsigned char)5;
6509  t34 = (t34 + 1U);
6510  *((unsigned char*)t34) = (unsigned char)5;
6511  t34 = (t34 + 1U);
6512  *((unsigned char*)t34) = (unsigned char)7;
6513  t34 = (t34 + 1U);
6514  *((unsigned char*)t34) = (unsigned char)1;
6515  t19 = (t19 + t33);
6516  t35 = (9U * 1U);
6517  t36 = t19;
6518  *((unsigned char*)t36) = (unsigned char)0;
6519  t36 = (t36 + 1U);
6520  *((unsigned char*)t36) = (unsigned char)1;
6521  t36 = (t36 + 1U);
6522  *((unsigned char*)t36) = (unsigned char)1;
6523  t36 = (t36 + 1U);
6524  *((unsigned char*)t36) = (unsigned char)1;
6525  t36 = (t36 + 1U);
6526  *((unsigned char*)t36) = (unsigned char)1;
6527  t36 = (t36 + 1U);
6528  *((unsigned char*)t36) = (unsigned char)1;
6529  t36 = (t36 + 1U);
6530  *((unsigned char*)t36) = (unsigned char)1;
6531  t36 = (t36 + 1U);
6532  *((unsigned char*)t36) = (unsigned char)1;
6533  t36 = (t36 + 1U);
6534  *((unsigned char*)t36) = (unsigned char)1;
6535  t38 = (t37 + 0U);
6536  t39 = (t38 + 0U);
6537  *((int*)t39) = 0;
6538  t39 = (t38 + 4U);
6539  *((int*)t39) = 8;
6540  t39 = (t38 + 8U);
6541  *((int*)t39) = 1;
6542  t40 = (8 - 0);
6543  t41 = (t40 * 1);
6544  t41 = (t41 + 1);
6545  t39 = (t38 + 12U);
6546  *((unsigned int*)t39) = t41;
6547  t39 = (t37 + 16U);
6548  t42 = (t39 + 0U);
6549  *((int*)t42) = 0;
6550  t42 = (t39 + 4U);
6551  *((int*)t42) = 8;
6552  t42 = (t39 + 8U);
6553  *((int*)t42) = 1;
6554  t43 = (8 - 0);
6555  t41 = (t43 * 1);
6556  t41 = (t41 + 1);
6557  t42 = (t39 + 12U);
6558  *((unsigned int*)t42) = t41;
6559  t42 = (t4 + 228U);
6560  t44 = (t4 + 116U);
6561  t45 = (t42 + 88U);
6562  *((char**)t45) = t44;
6563  t47 = (t42 + 56U);
6564  *((char**)t47) = t46;
6565  memcpy(t46, t18, 81U);
6566  t48 = (t42 + 64U);
6567  t49 = (t44 + 80U);
6568  t50 = *((char**)t49);
6569  *((char**)t48) = t50;
6570  t51 = (t42 + 80U);
6571  *((unsigned int*)t51) = 81U;
6572  t52 = (t4 + 348U);
6573  t53 = ((IEEE_P_2592010699) + 3320);
6574  t54 = (t52 + 88U);
6575  *((char**)t54) = t53;
6576  t56 = (t52 + 56U);
6577  *((char**)t56) = t55;
6578  xsi_type_set_default_value(t53, t55, 0);
6579  t57 = (t52 + 80U);
6580  *((unsigned int*)t57) = 1U;
6581  t58 = (t5 + 4U);
6582  *((unsigned char*)t58) = t2;
6583  t59 = (t5 + 5U);
6584  *((unsigned char*)t59) = t3;
6585  t60 = (t42 + 56U);
6586  t61 = *((char**)t60);
6587  t62 = (t2 - 0);
6588  t41 = (t62 * 1);
6589  t63 = (t41 * 9U);
6590  t64 = (t3 - 0);
6591  t65 = (t64 * 1);
6592  t66 = (t63 + t65);
6593  t67 = (1U * t66);
6594  t68 = (0 + t67);
6595  t60 = (t61 + t68);
6596  t69 = *((unsigned char*)t60);
6597  t70 = (t52 + 56U);
6598  t71 = *((char**)t70);
6599  t70 = (t71 + 0);
6600  *((unsigned char*)t70) = t69;
6601  t6 = (t52 + 56U);
6602  t7 = *((char**)t6);
6603  t69 = *((unsigned char*)t7);
6604  t0 = t69;
6605 
6606 LAB1:
6607  t6 = (t4 + 116U);
6608  xsi_delete_type(t6, 2);
6609  return t0;
6610 LAB2:;
6611 }
6612 
6613 extern void ieee_p_0017514958_init()
6614 {
6615  static char* se[] = {(void*)ieee_p_0017514958_sub_2888371257_1861681735,
6616  (void*)ieee_p_0017514958_sub_3959339890_1861681735,
6617  (void*)ieee_p_0017514958_sub_3483042593_1861681735,
6618  (void*)ieee_p_0017514958_sub_839555928_1861681735,
6619  (void*)ieee_p_0017514958_sub_1417944488_1861681735,
6620  (void*)ieee_p_0017514958_sub_2731107355_1861681735,
6621  (void*)ieee_p_0017514958_sub_670926509_1861681735,
6622  (void*)ieee_p_0017514958_sub_1990327881_1861681735,
6623  (void*)ieee_p_0017514958_sub_1003888859_1861681735,
6624  (void*)ieee_p_0017514958_sub_3238471574_1861681735,
6625  (void*)ieee_p_0017514958_sub_3008817869_1861681735,
6626  (void*)ieee_p_0017514958_sub_3317430977_1861681735,
6627  (void*)ieee_p_0017514958_sub_2737647089_1861681735,
6628  (void*)ieee_p_0017514958_sub_3592147051_1861681735,
6629  (void*)ieee_p_0017514958_sub_1739486367_1861681735,
6630  (void*)ieee_p_0017514958_sub_3778645337_1861681735,
6631  (void*)ieee_p_0017514958_sub_3338352311_1861681735,
6632  (void*)ieee_p_0017514958_sub_706646641_1861681735,
6633  (void*)ieee_p_0017514958_sub_2981074091_1861681735,
6634  (void*)ieee_p_0017514958_sub_3501910733_1861681735,
6635  (void*)ieee_p_0017514958_sub_1982913369_1861681735,
6636  (void*)ieee_p_0017514958_sub_3688409019_1861681735,
6637  (void*)ieee_p_0017514958_sub_3581779313_1861681735,
6638  (void*)ieee_p_0017514958_sub_616410323_1861681735,
6639  (void*)ieee_p_0017514958_sub_4126215983_1861681735,
6640  (void*)ieee_p_0017514958_sub_450477564_1861681735,
6641  (void*)ieee_p_0017514958_sub_3950909432_1861681735,
6642  (void*)ieee_p_0017514958_sub_2445840371_1861681735,
6643  (void*)ieee_p_0017514958_sub_220240835_1861681735};
6644  xsi_register_didat("ieee_p_0017514958",
6645  "isim/precompiled.exe.sim/ieee/p_0017514958.didat");
6646  xsi_register_subprogram_executes(se);
6647 }