text: /**********************************************************************/
  /*   ____  ____                                                       */
  /*  /   /\/   /                                                       */
  /* /___/  \  /                                                        */
  /* \   \   \/                                                       */
  /*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
  /*  /   /          All Right Reserved.                                 */
  /* /---/   /\                                                         */
  /* \   \  /  \                                                      */
  /*  \___\/\___\                                                    */
  /***********************************************************************/
  
  /* This file is designed for use with ISim build 0x7708f090 */
  
  #define XSI_HIDE_SYMBOL_SPEC true
  #include "xsi.h"
  #include <memory.h>
  #ifdef __GNUC__
  #include <stdlib.h>
  #else
  #include <malloc.h>
  #define alloca _alloca
  #endif
  static unsigned int ng0[] = {4U, 0U};
  static unsigned int ng1[] = {0U, 0U};
  
  
  
  static void implSig1_execute(char *t0)
  {
      char *t1;
      char *t2;
      char *t3;
      char *t4;
      char *t5;
      char *t6;
      char *t7;
  
  LAB0:    t1 = (t0 + 6368U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    t2 = ((char*)((ng0)));
      t3 = (t0 + 7016);
      t4 = (t3 + 56U);
      t5 = *((char **)t4);
      t6 = (t5 + 56U);
      t7 = *((char **)t6);
      memcpy(t7, t2, 8);
      xsi_driver_vfirst_trans(t3, 0, 31);
  
  LAB1:    return;
  }
  
  static void implSig2_execute(char *t0)
  {
      char t3[8];
      char t4[8];
      char t14[8];
      char *t1;
      char *t2;
      char *t5;
      char *t6;
      char *t7;
      unsigned int t8;
      unsigned int t9;
      unsigned int t10;
      unsigned int t11;
      unsigned int t12;
      unsigned int t13;
      char *t15;
      char *t16;
      char *t17;
      unsigned int t18;
      unsigned int t19;
      unsigned int t20;
      unsigned int t21;
      unsigned int t22;
      unsigned int t23;
      char *t24;
      char *t25;
      char *t26;
      char *t27;
      char *t28;
      char *t29;
  
  LAB0:    t1 = (t0 + 6616U);
      t2 = *((char **)t1);
      if (t2 == 0)
          goto LAB2;
  
  LAB3:    goto *t2;
  
  LAB2:    t2 = ((char*)((ng1)));
      t5 = (t0 + 2488U);
      t6 = *((char **)t5);
      memset(t4, 0, 8);
      t5 = (t4 + 4);
      t7 = (t6 + 4);
      t8 = *((unsigned int *)t6);
      t9 = (t8 >> 0);
      *((unsigned int *)t4) = t9;
      t10 = *((unsigned int *)t7);
      t11 = (t10 >> 0);
      *((unsigned int *)t5) = t11;
      t12 = *((unsigned int *)t4);
      *((unsigned int *)t4) = (t12 & 67108863U);
      t13 = *((unsigned int *)t5);
      *((unsigned int *)t5) = (t13 & 67108863U);
      t15 = (t0 + 3928U);
      t16 = *((char **)t15);
      memset(t14, 0, 8);
      t15 = (t14 + 4);
      t17 = (t16 + 4);
      t18 = *((unsigned int *)t16);
      t19 = (t18 >> 28);
      *((unsigned int *)t14) = t19;
      t20 = *((unsigned int *)t17);
      t21 = (t20 >> 28);
      *((unsigned int *)t15) = t21;
      t22 = *((unsigned int *)t14);
      *((unsigned int *)t14) = (t22 & 15U);
      t23 = *((unsigned int *)t15);
      *((unsigned int *)t15) = (t23 & 15U);
      xsi_vlogtype_concat(t3, 32, 32, 3U, t14, 4, t4, 26, t2, 2);
      t24 = (t0 + 7080);
      t25 = (t24 + 56U);
      t26 = *((char **)t25);
      t27 = (t26 + 56U);
      t28 = *((char **)t27);
      memcpy(t28, t3, 8);
      xsi_driver_vfirst_trans(t24, 0, 31);
      t29 = (t0 + 6936);
      *((int *)t29) = 1;
  
  LAB1:    return;
  }
  
  
  extern void work_m_00000000000726992150_3027548060_init()
  {
  	static char *pe[] = {(void *)implSig1_execute,(void *)implSig2_execute};
  	xsi_register_didat("work_m_00000000000726992150_3027548060", "isim/top_tester_isim_beh.exe.sim/work/m_00000000000726992150_3027548060.didat");
  	xsi_register_executes(pe);
  }
  