/* Generated by Frama-C */
typedef signed char int8_t;
typedef short int16_t;
typedef int int32_t;
typedef long int64_t;
typedef unsigned char uint8_t;
typedef unsigned short uint16_t;
typedef unsigned int uint32_t;
typedef unsigned long uint64_t;
extern int printf(char const * __restrict __format , ...);
static void platform_main_begin(void)
{
  return;
}

extern int ( /* missing proto */ Frama_C_show_each)();
static void platform_main_end(uint32_t crc, int flag)
{
  Frama_C_show_each(crc);
  return;
}

static int8_t safe_unary_minus_func_int8_t_s(int8_t si)
{
  int8_t __retres;
  __retres = (signed char)(- ((int)si));
  return (__retres);
}

static int8_t safe_add_func_int8_t_s_s(int8_t si1, int8_t si2)
{
  int8_t __retres;
  __retres = (signed char)((int)si1 + (int)si2);
  return (__retres);
}

static int8_t safe_sub_func_int8_t_s_s(int8_t si1, int8_t si2)
{
  int8_t __retres;
  __retres = (signed char)((int)si1 - (int)si2);
  return (__retres);
}

static int8_t safe_mul_func_int8_t_s_s(int8_t si1, int8_t si2)
{
  int8_t __retres;
  __retres = (signed char)((int)si1 * (int)si2);
  return (__retres);
}

static int8_t safe_mod_func_int8_t_s_s(int8_t si1, int8_t si2)
{
  int8_t __retres;
  int tmp;
  if ((int)si2 == 0) { tmp = (int)si1; }
  else {
    if ((int)si1 == -128) {
      if ((int)si2 == -1) { tmp = (int)si1; }
      else { tmp = (int)si1 % (int)si2; }
    }
    else { tmp = (int)si1 % (int)si2; }
  }
  __retres = (signed char)tmp;
  return (__retres);
}

static int8_t safe_div_func_int8_t_s_s(int8_t si1, int8_t si2)
{
  int8_t __retres;
  int tmp;
  if ((int)si2 == 0) { tmp = (int)si1; }
  else {
    if ((int)si1 == -128) {
      if ((int)si2 == -1) { tmp = (int)si1; }
      else { tmp = (int)si1 / (int)si2; }
    }
    else { tmp = (int)si1 / (int)si2; }
  }
  __retres = (signed char)tmp;
  return (__retres);
}

static int8_t safe_lshift_func_int8_t_s_s(int8_t left, int right)
{
  int8_t __retres;
  int tmp;
  if ((int)left < 0) { tmp = (int)left; }
  else {
    if (right < 0) { tmp = (int)left; }
    else {
      if (right >= 32) { tmp = (int)left; }
      else {
        if ((int)left > 127 >> right) { tmp = (int)left; }
        else { tmp = (int)left << right; }
      }
    }
  }
  __retres = (signed char)tmp;
  return (__retres);
}

static int8_t safe_lshift_func_int8_t_s_u(int8_t left, unsigned int right)
{
  int8_t __retres;
  int tmp;
  if ((int)left < 0) { tmp = (int)left; }
  else {
    if (right >= (unsigned int)32) { tmp = (int)left; }
    else {
      if ((int)left > 127 >> right) { tmp = (int)left; }
      else { tmp = (int)left << right; }
    }
  }
  __retres = (signed char)tmp;
  return (__retres);
}

static int8_t safe_rshift_func_int8_t_s_s(int8_t left, int right)
{
  int8_t __retres;
  int tmp;
  if ((int)left < 0) { tmp = (int)left; }
  else {
    if (right < 0) { tmp = (int)left; }
    else {
      if (right >= 32) { tmp = (int)left; }
      else { tmp = (int)left >> right; }
    }
  }
  __retres = (signed char)tmp;
  return (__retres);
}

static int8_t safe_rshift_func_int8_t_s_u(int8_t left, unsigned int right)
{
  int8_t __retres;
  int tmp;
  if ((int)left < 0) { tmp = (int)left; }
  else {
    if (right >= (unsigned int)32) { tmp = (int)left; }
    else { tmp = (int)left >> right; }
  }
  __retres = (signed char)tmp;
  return (__retres);
}

static int16_t safe_unary_minus_func_int16_t_s(int16_t si)
{
  int16_t __retres;
  __retres = (short)(- ((int)si));
  return (__retres);
}

static int16_t safe_add_func_int16_t_s_s(int16_t si1, int16_t si2)
{
  int16_t __retres;
  __retres = (short)((int)si1 + (int)si2);
  return (__retres);
}

static int16_t safe_sub_func_int16_t_s_s(int16_t si1, int16_t si2)
{
  int16_t __retres;
  __retres = (short)((int)si1 - (int)si2);
  return (__retres);
}

static int16_t safe_mul_func_int16_t_s_s(int16_t si1, int16_t si2)
{
  int16_t __retres;
  __retres = (short)((int)si1 * (int)si2);
  return (__retres);
}

static int16_t safe_mod_func_int16_t_s_s(int16_t si1, int16_t si2)
{
  int16_t __retres;
  int tmp;
  if ((int)si2 == 0) { tmp = (int)si1; }
  else {
    if ((int)si1 == -32767 - 1) {
      if ((int)si2 == -1) { tmp = (int)si1; }
      else { tmp = (int)si1 % (int)si2; }
    }
    else { tmp = (int)si1 % (int)si2; }
  }
  __retres = (short)tmp;
  return (__retres);
}

static int16_t safe_div_func_int16_t_s_s(int16_t si1, int16_t si2)
{
  int16_t __retres;
  int tmp;
  if ((int)si2 == 0) { tmp = (int)si1; }
  else {
    if ((int)si1 == -32767 - 1) {
      if ((int)si2 == -1) { tmp = (int)si1; }
      else { tmp = (int)si1 / (int)si2; }
    }
    else { tmp = (int)si1 / (int)si2; }
  }
  __retres = (short)tmp;
  return (__retres);
}

static int16_t safe_lshift_func_int16_t_s_s(int16_t left, int right)
{
  int16_t __retres;
  int tmp;
  if ((int)left < 0) { tmp = (int)left; }
  else {
    if (right < 0) { tmp = (int)left; }
    else {
      if (right >= 32) { tmp = (int)left; }
      else {
        if ((int)left > 32767 >> right) { tmp = (int)left; }
        else { tmp = (int)left << right; }
      }
    }
  }
  __retres = (short)tmp;
  return (__retres);
}

static int16_t safe_lshift_func_int16_t_s_u(int16_t left, unsigned int right)
{
  int16_t __retres;
  int tmp;
  if ((int)left < 0) { tmp = (int)left; }
  else {
    if (right >= (unsigned int)32) { tmp = (int)left; }
    else {
      if ((int)left > 32767 >> right) { tmp = (int)left; }
      else { tmp = (int)left << right; }
    }
  }
  __retres = (short)tmp;
  return (__retres);
}

static int16_t safe_rshift_func_int16_t_s_s(int16_t left, int right)
{
  int16_t __retres;
  int tmp;
  if ((int)left < 0) { tmp = (int)left; }
  else {
    if (right < 0) { tmp = (int)left; }
    else {
      if (right >= 32) { tmp = (int)left; }
      else { tmp = (int)left >> right; }
    }
  }
  __retres = (short)tmp;
  return (__retres);
}

static int16_t safe_rshift_func_int16_t_s_u(int16_t left, unsigned int right)
{
  int16_t __retres;
  int tmp;
  if ((int)left < 0) { tmp = (int)left; }
  else {
    if (right >= (unsigned int)32) { tmp = (int)left; }
    else { tmp = (int)left >> right; }
  }
  __retres = (short)tmp;
  return (__retres);
}

static int32_t safe_unary_minus_func_int32_t_s(int32_t si)
{
  int32_t tmp;
  if (si == -2147483647 - 1) { tmp = si; }
  else { tmp = - si; }
  return (tmp);
}

static int32_t safe_add_func_int32_t_s_s(int32_t si1, int32_t si2)
{
  int32_t tmp;
  if (si1 > 0) {
    if (si2 > 0) {
      if (si1 > 2147483647 - si2) { tmp = si1; }
      else { goto _LAND_0; }
    }
    else { goto _LAND_0; }
  }
  else {
    _LAND_0: /* internal */ ;
    if (si1 < 0) {
      if (si2 < 0) {
        if (si1 < (-2147483647 - 1) - si2) { tmp = si1; }
        else { tmp = si1 + si2; }
      }
      else { tmp = si1 + si2; }
    }
    else { tmp = si1 + si2; }
  }
  return (tmp);
}

static int32_t safe_sub_func_int32_t_s_s(int32_t si1, int32_t si2)
{
  int32_t tmp;
  if (((si1 ^ si2) & (((si1 ^ ((si1 ^ si2) & ~ 2147483647)) - si2) ^ si2)) < 0) {
    tmp = si1;
  }
  else { tmp = si1 - si2; }
  return (tmp);
}

static int32_t safe_mul_func_int32_t_s_s(int32_t si1, int32_t si2)
{
  int32_t tmp;
  if (si1 > 0) {
    if (si2 > 0) {
      if (si1 > 2147483647 / si2) { tmp = si1; }
      else { goto _LAND_4; }
    }
    else { goto _LAND_4; }
  }
  else {
    _LAND_4: /* internal */ ;
    if (si1 > 0) {
      if (si2 <= 0) {
        if (si2 < (-2147483647 - 1) / si1) { tmp = si1; }
        else { goto _LAND_2; }
      }
      else { goto _LAND_2; }
    }
    else {
      _LAND_2: /* internal */ ;
      if (si1 <= 0) {
        if (si2 > 0) {
          if (si1 < (-2147483647 - 1) / si2) { tmp = si1; }
          else { goto _LAND_0; }
        }
        else { goto _LAND_0; }
      }
      else {
        _LAND_0: /* internal */ ;
        if (si1 <= 0) {
          if (si2 <= 0) {
            if (si1 != 0) {
              if (si2 < 2147483647 / si1) { tmp = si1; }
              else { tmp = si1 * si2; }
            }
            else { tmp = si1 * si2; }
          }
          else { tmp = si1 * si2; }
        }
        else { tmp = si1 * si2; }
      }
    }
  }
  return (tmp);
}

static int32_t safe_mod_func_int32_t_s_s(int32_t si1, int32_t si2)
{
  int32_t tmp;
  if (si2 == 0) { tmp = si1; }
  else {
    if (si1 == -2147483647 - 1) {
      if (si2 == -1) { tmp = si1; }
      else { tmp = si1 % si2; }
    }
    else { tmp = si1 % si2; }
  }
  return (tmp);
}

static int32_t safe_div_func_int32_t_s_s(int32_t si1, int32_t si2)
{
  int32_t tmp;
  if (si2 == 0) { tmp = si1; }
  else {
    if (si1 == -2147483647 - 1) {
      if (si2 == -1) { tmp = si1; }
      else { tmp = si1 / si2; }
    }
    else { tmp = si1 / si2; }
  }
  return (tmp);
}

static int32_t safe_lshift_func_int32_t_s_s(int32_t left, int right)
{
  int32_t tmp;
  if (left < 0) { tmp = left; }
  else {
    if (right < 0) { tmp = left; }
    else {
      if (right >= 32) { tmp = left; }
      else {
        if (left > 2147483647 >> right) { tmp = left; }
        else { tmp = left << right; }
      }
    }
  }
  return (tmp);
}

static int32_t safe_lshift_func_int32_t_s_u(int32_t left, unsigned int right)
{
  int32_t tmp;
  if (left < 0) { tmp = left; }
  else {
    if (right >= (unsigned int)32) { tmp = left; }
    else {
      if (left > 2147483647 >> right) { tmp = left; }
      else { tmp = left << right; }
    }
  }
  return (tmp);
}

static int32_t safe_rshift_func_int32_t_s_s(int32_t left, int right)
{
  int32_t tmp;
  if (left < 0) { tmp = left; }
  else {
    if (right < 0) { tmp = left; }
    else {
      if (right >= 32) { tmp = left; } else { tmp = left >> right; } }
  }
  return (tmp);
}

static int32_t safe_rshift_func_int32_t_s_u(int32_t left, unsigned int right)
{
  int32_t tmp;
  if (left < 0) { tmp = left; }
  else {
    if (right >= (unsigned int)32) { tmp = left; }
    else { tmp = left >> right; }
  }
  return (tmp);
}

static int64_t safe_unary_minus_func_int64_t_s(int64_t si)
{
  int64_t tmp;
  if (si == -9223372036854775807L - (long)1) { tmp = si; }
  else { tmp = - si; }
  return (tmp);
}

static int64_t safe_add_func_int64_t_s_s(int64_t si1, int64_t si2)
{
  int64_t tmp;
  if (si1 > (int64_t)0) {
    if (si2 > (int64_t)0) {
      if (si1 > 9223372036854775807L - si2) { tmp = si1; }
      else { goto _LAND_0; }
    }
    else { goto _LAND_0; }
  }
  else {
    _LAND_0: /* internal */ ;
    if (si1 < (int64_t)0) {
      if (si2 < (int64_t)0) {
        if (si1 < (-9223372036854775807L - (long)1) - si2) { tmp = si1; }
        else { tmp = si1 + si2; }
      }
      else { tmp = si1 + si2; }
    }
    else { tmp = si1 + si2; }
  }
  return (tmp);
}

static int64_t safe_sub_func_int64_t_s_s(int64_t si1, int64_t si2)
{
  int64_t tmp;
  if (((si1 ^ si2) & (((si1 ^ ((si1 ^ si2) & ~ 9223372036854775807L)) - si2) ^ si2)) < (long)0) {
    tmp = si1;
  }
  else { tmp = si1 - si2; }
  return (tmp);
}

static int64_t safe_mul_func_int64_t_s_s(int64_t si1, int64_t si2)
{
  int64_t tmp;
  if (si1 > (int64_t)0) {
    if (si2 > (int64_t)0) {
      if (si1 > 9223372036854775807L / si2) { tmp = si1; }
      else { goto _LAND_4; }
    }
    else { goto _LAND_4; }
  }
  else {
    _LAND_4: /* internal */ ;
    if (si1 > (int64_t)0) {
      if (si2 <= (int64_t)0) {
        if (si2 < (-9223372036854775807L - (long)1) / si1) { tmp = si1; }
        else { goto _LAND_2; }
      }
      else { goto _LAND_2; }
    }
    else {
      _LAND_2: /* internal */ ;
      if (si1 <= (int64_t)0) {
        if (si2 > (int64_t)0) {
          if (si1 < (-9223372036854775807L - (long)1) / si2) { tmp = si1; }
          else { goto _LAND_0; }
        }
        else { goto _LAND_0; }
      }
      else {
        _LAND_0: /* internal */ ;
        if (si1 <= (int64_t)0) {
          if (si2 <= (int64_t)0) {
            if (si1 != (int64_t)0) {
              if (si2 < 9223372036854775807L / si1) { tmp = si1; }
              else { tmp = si1 * si2; }
            }
            else { tmp = si1 * si2; }
          }
          else { tmp = si1 * si2; }
        }
        else { tmp = si1 * si2; }
      }
    }
  }
  return (tmp);
}

static int64_t safe_mod_func_int64_t_s_s(int64_t si1, int64_t si2)
{
  int64_t tmp;
  if (si2 == (int64_t)0) { tmp = si1; }
  else {
    if (si1 == -9223372036854775807L - (long)1) {
      if (si2 == (int64_t)(-1)) { tmp = si1; }
      else { tmp = si1 % si2; }
    }
    else { tmp = si1 % si2; }
  }
  return (tmp);
}

static int64_t safe_div_func_int64_t_s_s(int64_t si1, int64_t si2)
{
  int64_t tmp;
  if (si2 == (int64_t)0) { tmp = si1; }
  else {
    if (si1 == -9223372036854775807L - (long)1) {
      if (si2 == (int64_t)(-1)) { tmp = si1; }
      else { tmp = si1 / si2; }
    }
    else { tmp = si1 / si2; }
  }
  return (tmp);
}

static int64_t safe_lshift_func_int64_t_s_s(int64_t left, int right)
{
  int64_t tmp;
  if (left < (int64_t)0) { tmp = left; }
  else {
    if (right < 0) { tmp = left; }
    else {
      if (right >= 32) { tmp = left; }
      else {
        if (left > 9223372036854775807L >> right) { tmp = left; }
        else { tmp = left << right; }
      }
    }
  }
  return (tmp);
}

static int64_t safe_lshift_func_int64_t_s_u(int64_t left, unsigned int right)
{
  int64_t tmp;
  if (left < (int64_t)0) { tmp = left; }
  else {
    if (right >= (unsigned int)32) { tmp = left; }
    else {
      if (left > 9223372036854775807L >> right) { tmp = left; }
      else { tmp = left << right; }
    }
  }
  return (tmp);
}

static int64_t safe_rshift_func_int64_t_s_s(int64_t left, int right)
{
  int64_t tmp;
  if (left < (int64_t)0) { tmp = left; }
  else {
    if (right < 0) { tmp = left; }
    else {
      if (right >= 32) { tmp = left; } else { tmp = left >> right; } }
  }
  return (tmp);
}

static int64_t safe_rshift_func_int64_t_s_u(int64_t left, unsigned int right)
{
  int64_t tmp;
  if (left < (int64_t)0) { tmp = left; }
  else {
    if (right >= (unsigned int)32) { tmp = left; }
    else { tmp = left >> right; }
  }
  return (tmp);
}

static uint8_t safe_unary_minus_func_uint8_t_u(uint8_t ui)
{
  uint8_t __retres;
  __retres = (unsigned char)(- ((int)ui));
  return (__retres);
}

static uint8_t safe_add_func_uint8_t_u_u(uint8_t ui1, uint8_t ui2)
{
  uint8_t __retres;
  __retres = (unsigned char)((int)ui1 + (int)ui2);
  return (__retres);
}

static uint8_t safe_sub_func_uint8_t_u_u(uint8_t ui1, uint8_t ui2)
{
  uint8_t __retres;
  __retres = (unsigned char)((int)ui1 - (int)ui2);
  return (__retres);
}

static uint8_t safe_mul_func_uint8_t_u_u(uint8_t ui1, uint8_t ui2)
{
  uint8_t __retres;
  __retres = (unsigned char)((unsigned int)ui1 * (unsigned int)ui2);
  return (__retres);
}

static uint8_t safe_mod_func_uint8_t_u_u(uint8_t ui1, uint8_t ui2)
{
  uint8_t __retres;
  int tmp;
  if ((int)ui2 == 0) { tmp = (int)ui1; }
  else { tmp = (int)ui1 % (int)ui2; }
  __retres = (unsigned char)tmp;
  return (__retres);
}

static uint8_t safe_div_func_uint8_t_u_u(uint8_t ui1, uint8_t ui2)
{
  uint8_t __retres;
  int tmp;
  if ((int)ui2 == 0) { tmp = (int)ui1; }
  else { tmp = (int)ui1 / (int)ui2; }
  __retres = (unsigned char)tmp;
  return (__retres);
}

static uint8_t safe_lshift_func_uint8_t_u_s(uint8_t left, int right)
{
  uint8_t __retres;
  int tmp;
  if (right < 0) { tmp = (int)left; }
  else {
    if (right >= 32) { tmp = (int)left; }
    else {
      if ((int)left > 255 >> right) { tmp = (int)left; }
      else { tmp = (int)left << right; }
    }
  }
  __retres = (unsigned char)tmp;
  return (__retres);
}

static uint8_t safe_lshift_func_uint8_t_u_u(uint8_t left, unsigned int right)
{
  uint8_t __retres;
  int tmp;
  if (right >= (unsigned int)32) { tmp = (int)left; }
  else {
    if ((int)left > 255 >> right) { tmp = (int)left; }
    else { tmp = (int)left << right; }
  }
  __retres = (unsigned char)tmp;
  return (__retres);
}

static uint8_t safe_rshift_func_uint8_t_u_s(uint8_t left, int right)
{
  uint8_t __retres;
  int tmp;
  if (right < 0) { tmp = (int)left; }
  else {
    if (right >= 32) { tmp = (int)left; }
    else { tmp = (int)left >> right; }
  }
  __retres = (unsigned char)tmp;
  return (__retres);
}

static uint8_t safe_rshift_func_uint8_t_u_u(uint8_t left, unsigned int right)
{
  uint8_t __retres;
  int tmp;
  if (right >= (unsigned int)32) { tmp = (int)left; }
  else { tmp = (int)left >> right; }
  __retres = (unsigned char)tmp;
  return (__retres);
}

static uint16_t safe_unary_minus_func_uint16_t_u(uint16_t ui)
{
  uint16_t __retres;
  __retres = (unsigned short)(- ((int)ui));
  return (__retres);
}

static uint16_t safe_add_func_uint16_t_u_u(uint16_t ui1, uint16_t ui2)
{
  uint16_t __retres;
  __retres = (unsigned short)((int)ui1 + (int)ui2);
  return (__retres);
}

static uint16_t safe_sub_func_uint16_t_u_u(uint16_t ui1, uint16_t ui2)
{
  uint16_t __retres;
  __retres = (unsigned short)((int)ui1 - (int)ui2);
  return (__retres);
}

static uint16_t safe_mul_func_uint16_t_u_u(uint16_t ui1, uint16_t ui2)
{
  uint16_t __retres;
  __retres = (unsigned short)((unsigned int)ui1 * (unsigned int)ui2);
  return (__retres);
}

static uint16_t safe_mod_func_uint16_t_u_u(uint16_t ui1, uint16_t ui2)
{
  uint16_t __retres;
  int tmp;
  if ((int)ui2 == 0) { tmp = (int)ui1; }
  else { tmp = (int)ui1 % (int)ui2; }
  __retres = (unsigned short)tmp;
  return (__retres);
}

static uint16_t safe_div_func_uint16_t_u_u(uint16_t ui1, uint16_t ui2)
{
  uint16_t __retres;
  int tmp;
  if ((int)ui2 == 0) { tmp = (int)ui1; }
  else { tmp = (int)ui1 / (int)ui2; }
  __retres = (unsigned short)tmp;
  return (__retres);
}

static uint16_t safe_lshift_func_uint16_t_u_s(uint16_t left, int right)
{
  uint16_t __retres;
  int tmp;
  if (right < 0) { tmp = (int)left; }
  else {
    if (right >= 32) { tmp = (int)left; }
    else {
      if ((int)left > 65535 >> right) { tmp = (int)left; }
      else { tmp = (int)left << right; }
    }
  }
  __retres = (unsigned short)tmp;
  return (__retres);
}

static uint16_t safe_lshift_func_uint16_t_u_u(uint16_t left,
                                              unsigned int right)
{
  uint16_t __retres;
  int tmp;
  if (right >= (unsigned int)32) { tmp = (int)left; }
  else {
    if ((int)left > 65535 >> right) { tmp = (int)left; }
    else { tmp = (int)left << right; }
  }
  __retres = (unsigned short)tmp;
  return (__retres);
}

static uint16_t safe_rshift_func_uint16_t_u_s(uint16_t left, int right)
{
  uint16_t __retres;
  int tmp;
  if (right < 0) { tmp = (int)left; }
  else {
    if (right >= 32) { tmp = (int)left; }
    else { tmp = (int)left >> right; }
  }
  __retres = (unsigned short)tmp;
  return (__retres);
}

static uint16_t safe_rshift_func_uint16_t_u_u(uint16_t left,
                                              unsigned int right)
{
  uint16_t __retres;
  int tmp;
  if (right >= (unsigned int)32) { tmp = (int)left; }
  else { tmp = (int)left >> right; }
  __retres = (unsigned short)tmp;
  return (__retres);
}

static uint32_t safe_unary_minus_func_uint32_t_u(uint32_t ui)
{
  uint32_t __retres;
  __retres = - ui;
  return (__retres);
}

static uint32_t safe_add_func_uint32_t_u_u(uint32_t ui1, uint32_t ui2)
{
  uint32_t __retres;
  __retres = ui1 + ui2;
  return (__retres);
}

static uint32_t safe_sub_func_uint32_t_u_u(uint32_t ui1, uint32_t ui2)
{
  uint32_t __retres;
  __retres = ui1 - ui2;
  return (__retres);
}

static uint32_t safe_mul_func_uint32_t_u_u(uint32_t ui1, uint32_t ui2)
{
  uint32_t __retres;
  __retres = ui1 * ui2;
  return (__retres);
}

static uint32_t safe_mod_func_uint32_t_u_u(uint32_t ui1, uint32_t ui2)
{
  uint32_t tmp;
  if (ui2 == (uint32_t)0) { tmp = ui1; }
  else { tmp = ui1 % ui2; }
  return (tmp);
}

static uint32_t safe_div_func_uint32_t_u_u(uint32_t ui1, uint32_t ui2)
{
  uint32_t tmp;
  if (ui2 == (uint32_t)0) { tmp = ui1; }
  else { tmp = ui1 / ui2; }
  return (tmp);
}

static uint32_t safe_lshift_func_uint32_t_u_s(uint32_t left, int right)
{
  uint32_t tmp;
  if (right < 0) { tmp = left; }
  else {
    if (right >= 32) { tmp = left; }
    else {
      if (left > 4294967295U >> right) { tmp = left; }
      else { tmp = left << right; }
    }
  }
  return (tmp);
}

static uint32_t safe_lshift_func_uint32_t_u_u(uint32_t left,
                                              unsigned int right)
{
  uint32_t tmp;
  if (right >= (unsigned int)32) { tmp = left; }
  else {
    if (left > 4294967295U >> right) { tmp = left; }
    else { tmp = left << right; }
  }
  return (tmp);
}

static uint32_t safe_rshift_func_uint32_t_u_s(uint32_t left, int right)
{
  uint32_t tmp;
  if (right < 0) { tmp = left; }
  else {
    if (right >= 32) { tmp = left; } else { tmp = left >> right; } }
  return (tmp);
}

static uint32_t safe_rshift_func_uint32_t_u_u(uint32_t left,
                                              unsigned int right)
{
  uint32_t tmp;
  if (right >= (unsigned int)32) { tmp = left; }
  else { tmp = left >> right; }
  return (tmp);
}

static uint64_t safe_unary_minus_func_uint64_t_u(uint64_t ui)
{
  uint64_t __retres;
  __retres = - ui;
  return (__retres);
}

static uint64_t safe_add_func_uint64_t_u_u(uint64_t ui1, uint64_t ui2)
{
  uint64_t __retres;
  __retres = ui1 + ui2;
  return (__retres);
}

static uint64_t safe_sub_func_uint64_t_u_u(uint64_t ui1, uint64_t ui2)
{
  uint64_t __retres;
  __retres = ui1 - ui2;
  return (__retres);
}

static uint64_t safe_mul_func_uint64_t_u_u(uint64_t ui1, uint64_t ui2)
{
  uint64_t __retres;
  __retres = (unsigned long)((unsigned long long)ui1 * (unsigned long long)ui2);
  return (__retres);
}

static uint64_t safe_mod_func_uint64_t_u_u(uint64_t ui1, uint64_t ui2)
{
  uint64_t tmp;
  if (ui2 == (uint64_t)0) { tmp = ui1; }
  else { tmp = ui1 % ui2; }
  return (tmp);
}

static uint64_t safe_div_func_uint64_t_u_u(uint64_t ui1, uint64_t ui2)
{
  uint64_t tmp;
  if (ui2 == (uint64_t)0) { tmp = ui1; }
  else { tmp = ui1 / ui2; }
  return (tmp);
}

static uint64_t safe_lshift_func_uint64_t_u_s(uint64_t left, int right)
{
  uint64_t tmp;
  if (right < 0) { tmp = left; }
  else {
    if (right >= 32) { tmp = left; }
    else {
      if (left > 18446744073709551615UL >> right) { tmp = left; }
      else { tmp = left << right; }
    }
  }
  return (tmp);
}

static uint64_t safe_lshift_func_uint64_t_u_u(uint64_t left,
                                              unsigned int right)
{
  uint64_t tmp;
  if (right >= (unsigned int)32) { tmp = left; }
  else {
    if (left > 18446744073709551615UL >> right) { tmp = left; }
    else { tmp = left << right; }
  }
  return (tmp);
}

static uint64_t safe_rshift_func_uint64_t_u_s(uint64_t left, int right)
{
  uint64_t tmp;
  if (right < 0) { tmp = left; }
  else {
    if (right >= 32) { tmp = left; } else { tmp = left >> right; } }
  return (tmp);
}

static uint64_t safe_rshift_func_uint64_t_u_u(uint64_t left,
                                              unsigned int right)
{
  uint64_t tmp;
  if (right >= (unsigned int)32) { tmp = left; }
  else { tmp = left >> right; }
  return (tmp);
}

static uint32_t crc32_tab[256];
static uint32_t crc32_context = (unsigned int)0xFFFFFFFFUL;
static void crc32_gentab(void)
{
  uint32_t crc;
  uint32_t poly;
  int i;
  int j;
  poly = (unsigned int)0xEDB88320UL;
  i = 0;
  while (i < 256) {
    crc = (unsigned int)i;
    j = 8;
    while (j > 0) {
      if (crc & (unsigned int)1) { crc = (crc >> 1) ^ poly; }
      else { crc >>= 1; }
      j --;
    }
    crc32_tab[i] = crc;
    i ++;
  }
  return;
}

static void crc32_byte(uint8_t b)
{
  crc32_context = ((crc32_context >> 8) & (unsigned int)0x00FFFFFF) ^ crc32_tab[
                  (crc32_context ^ (unsigned int)b) & (unsigned int)0xFF];
  return;
}

static void crc32_8bytes(uint64_t val)
{
  crc32_byte((unsigned char)((val >> 0) & (unsigned long)0xff));
  crc32_byte((unsigned char)((val >> 8) & (unsigned long)0xff));
  crc32_byte((unsigned char)((val >> 16) & (unsigned long)0xff));
  crc32_byte((unsigned char)((val >> 24) & (unsigned long)0xff));
  crc32_byte((unsigned char)((val >> 32) & (unsigned long)0xff));
  crc32_byte((unsigned char)((val >> 40) & (unsigned long)0xff));
  crc32_byte((unsigned char)((val >> 48) & (unsigned long)0xff));
  crc32_byte((unsigned char)((val >> 56) & (unsigned long)0xff));
  return;
}

static void transparent_crc(uint64_t val, char *vname, int flag)
{
  crc32_8bytes(val);
  Frama_C_show_each(crc32_context ^ 0xFFFFFFFFU);
  if (flag) {
    printf("...checksum after hashing %s : %lX\n",vname,
           (unsigned long)crc32_context ^ 0xFFFFFFFFUL);
  }
  return;
}

static int8_t g_2[2] = {(signed char)0x3CL, (signed char)0x3CL};
static int32_t g_4 = (int)0xCECB4571L;
static int32_t g_20 = (int)0xC5540FFFL;
static int16_t g_21[3][2] = {{(short)0xC8F9L, (short)0x4B38L},
                             {(short)0xC8F9L, (short)0x4B38L},
                             {(short)0xC8F9L, (short)0x4B38L}};
static int64_t g_22 = 0L;
static uint32_t g_23 = (unsigned int)0x70CE404DL;
static int32_t *g_27 = & g_20;
static int32_t **g_49 = & g_27;
static uint8_t g_55 = (unsigned char)9UL;
static uint32_t g_68 = (unsigned int)0x4E9C127CL;
static uint8_t g_90 = (unsigned char)0x8AL;
static int32_t g_97 = (int)(-7L);
static int32_t g_99 = (int)2L;
static uint32_t g_136 = (unsigned int)0x8F91888FL;
static int32_t ***g_145 = (int32_t ***)((void *)0);
static int const g_150 = (int)0xA19F7B7FL;
static int32_t const *g_149 = & g_150;
static int32_t g_166 = (int)1L;
static uint16_t g_196 = (unsigned short)1UL;
static uint64_t g_199 = 18446744073709551614UL;
static uint64_t g_206[2][2] = {{1UL, 1UL}, {1UL, 1UL}};
static uint64_t *g_205 = & g_206[0][0];
static uint64_t g_218 = 0UL;
static uint32_t g_222[1] = {(unsigned int)4294967295UL};
static int32_t func_1(void);
static uint32_t func_7(int16_t p_8, uint8_t p_9, int32_t p_10, uint32_t p_11);
static int32_t *func_31(uint32_t p_32, int32_t **p_33, int32_t const *p_34,
                        int64_t p_35);
static int32_t *func_40(int32_t p_41);
static int16_t func_42(int32_t **p_43, uint32_t p_44, int32_t **p_45,
                       int32_t *p_46);
static int32_t func_1(void)
{
  int32_t __retres;
  int32_t *l_3;
  int32_t l_12;
  uint32_t tmp_0;
  uint32_t tmp;
  l_3 = & g_4;
  l_12 = (int)(-10L);
  *l_3 = (int)g_2[1];
  { /*undefined sequence*/ 
    { /*undefined sequence*/ 
      ;
      tmp = func_7((short)g_2[0],(unsigned char)g_2[1],l_12,
                   (unsigned int)*l_3);
      tmp_0 = safe_sub_func_uint32_t_u_u(tmp,(unsigned int)g_21[2][0]);
    }
    g_222[0] ^= tmp_0;
  }
  __retres = *l_3;
  return (__retres);
}

static uint32_t func_7(int16_t p_8, uint8_t p_9, int32_t p_10, uint32_t p_11)
{
  uint32_t __retres;
  int32_t l_13;
  int32_t **l_36;
  int32_t l_159;
  uint64_t l_184[1];
  int32_t **l_194[1][1];
  uint64_t *l_208;
  int16_t l_210;
  int i;
  int j;
  int32_t tmp_14;
  int8_t tmp_13;
  l_13 = (int)0x689A5A40L;
  l_36 = & g_27;
  l_159 = (int)0x0D91C5D0L;
  l_208 = & g_206[0][0];
  l_210 = (short)0L;
  i = 0;
  while (i < 1) {
    l_184[i] = 6UL;
    i ++; }
  i = 0;
  while (i < 1) {
    j = 0;
    while (j < 1) {
      l_194[i][j] = & g_27;
      j ++; }
    i ++; }
  p_11 = (unsigned int)0;
  while (p_11 <= (uint32_t)1) {
    {
      int32_t l_16;
      int32_t l_17;
      int32_t l_18;
      int32_t l_19[3][1];
      int32_t *l_28;
      int8_t l_151;
      uint16_t l_160;
      int i_0;
      int j_0;
      l_16 = (int)0xFD061A65L;
      l_17 = (int)0xF8F9ED02L;
      l_18 = (int)0xF7D1649BL;
      l_28 = & l_17;
      l_151 = (signed char)1L;
      l_160 = (unsigned short)0xD884L;
      i_0 = 0;
      while (i_0 < 3) {
        j_0 = 0;
        while (j_0 < 1) {
          l_19[i_0][j_0] = (int)0x1826FBD1L;
          j_0 ++; }
        i_0 ++;
      }
      l_13 = (int)g_2[p_11];
      if (l_13) {
        int32_t *l_14;
        int32_t *l_15[3][3];
        int32_t **l_26[1];
        uint8_t l_37;
        int32_t const **l_147;
        int32_t const **l_148;
        int i_1;
        l_14 = (int32_t *)((void *)0);
        { /*undefined sequence*/  ; ; ; ; ; ; ; ; ; }
        l_15[0][0] = & g_4;
        l_15[0][1] = & g_4;
        l_15[0][2] = & g_4;
        l_15[1][0] = & g_4;
        l_15[1][1] = & g_4;
        l_15[1][2] = & g_4;
        l_15[2][0] = & g_4;
        l_15[2][1] = & g_4;
        l_15[2][2] = & g_4;
        l_37 = (unsigned char)0x19L;
        l_147 = (int32_t const **)((void *)0);
        l_148 = (int32_t const **)((void *)0);
        i_1 = 0;
        while (i_1 < 1) {
          l_26[i_1] = & l_15[0][0];
          i_1 ++; }
        g_23 -= (uint32_t)1;
        { /*undefined sequence*/  g_27 = (int32_t *)((void *)0); l_28 = g_27;
        }
        { /*undefined sequence*/ 
          ;
          { /*undefined sequence*/ 
            ;
            ;
            ;
            l_13 |= & l_17 != & g_4;
            g_149 = (int32_t const *)func_31((unsigned int)l_13,l_36,
                                             (int32_t const *)*l_36,
                                             (long)l_37);
          }
          l_19[0][0] = (int32_t)safe_rshift_func_uint16_t_u_u((unsigned short)p_9,
                                                              (unsigned int)g_150);
        }
        if (l_151) { goto __Cont; }
      }
      else {
        int32_t *l_152;
        int32_t *l_153;
        int32_t *l_154;
        int32_t *l_155;
        int32_t *l_156;
        int32_t l_157;
        int32_t *l_158[2];
        int i_2;
        l_152 = & g_99;
        l_153 = & g_99;
        l_154 = & g_97;
        l_155 = & l_16;
        l_156 = (int32_t *)((void *)0);
        l_157 = (int)1L;
        i_2 = 0;
        while (i_2 < 2) {
          l_158[i_2] = & l_16;
          i_2 ++; }
        l_160 = (uint16_t)((int)l_160 + 1);
      }
      g_97 = 0;
      while (g_97 >= 0) {
        {
          int32_t *l_165;
          uint8_t tmp_0;
          int tmp;
          l_165 = & g_4;
          { /*undefined sequence*/ 
            { /*undefined sequence*/ 
              ;
              if (g_2[p_11]) {
                if (p_11) { tmp = 1; } else { tmp = 0; } }
              else { tmp = 0; }
              tmp_0 = safe_lshift_func_uint8_t_u_s((unsigned char)((long)tmp | 0x033BB994L),
                                                   (int)p_8);
            }
            *l_165 |= (int)tmp_0;
          }
          __retres = (unsigned int)g_166;
          goto return_label;
        }
        
        g_97 --;
      }
      l_151 = (signed char)0;
      while ((int)l_151 <= 1) {
        {
          int16_t l_167;
          int32_t *l_170[2][1];
          int i_4;
          int j_3;
          l_167 = (short)(-1L);
          i_4 = 0;
          while (i_4 < 2) {
            j_3 = 0;
            while (j_3 < 1) {
              l_170[i_4][j_3] = & g_99;
              j_3 ++; }
            i_4 ++;
          }
          if (l_167) { break; }
          { /*undefined sequence*/ 
            safe_rshift_func_int16_t_s_s(l_167,
                                         (int)(g_68 | (unsigned int)p_10));
            l_18 ^= (int)l_151;
          }
          if (p_9) { break; }
          l_13 &= (int)p_8 > p_10;
        }
        
        l_151 = (signed char)((int)l_151 + 1);
      }
    }
    
    __Cont: /* internal */ p_11 += (uint32_t)1;
  }
  { /*undefined sequence*/ 
    tmp_13 = safe_rshift_func_int8_t_s_u((signed char)p_8,(unsigned int)p_8);
    tmp_14 = safe_sub_func_int32_t_s_s((int)tmp_13,(int)0x7ACA1423L);
    ;
  }
  if ((long)((unsigned long)(tmp_14 >= p_10) <= 4294967295UL) ^ 0xFDL) {
    uint32_t l_175;
    int32_t **l_176[3];
    int32_t ***l_177;
    int32_t *l_178[1];
    uint64_t *l_209;
    int i_5;
    int tmp_9;
    int16_t tmp_8;
    l_175 = (unsigned int)2UL;
    l_177 = l_176;
    l_209 = & g_206[0][0];
    i_5 = 0;
    while (i_5 < 3) {
      l_176[i_5] = & g_27;
      i_5 ++; }
    i_5 = 0;
    while (i_5 < 1) {
      l_178[i_5] = & g_97;
      i_5 ++; }
    l_175 |= (unsigned int)p_9;
    { /*undefined sequence*/  tmp_8 = func_42(l_176[0],p_11,l_36,l_178[0]); ;
    }
    if ((int)tmp_8 != l_13) { tmp_9 = 1; }
    else { tmp_9 = 0; }
    l_159 = tmp_9;
    if (l_159) {
      int32_t **l_183;
      int32_t *l_185;
      uint16_t tmp_2;
      int8_t tmp_1;
      l_183 = (int32_t **)((void *)0);
      l_185 = & g_4;
      { /*undefined sequence*/ 
        tmp_1 = safe_div_func_int8_t_s_s(g_2[1],(signed char)p_10);
        ;
        tmp_2 = safe_lshift_func_uint16_t_u_s((unsigned short)1UL,
                                              (int)((unsigned int)((long)tmp_1 >= 1L) & g_23));
        ;
        *g_49 = func_40((int)tmp_2 ^ g_150);
      }
      *l_185 = p_10;
    }
    else {
      int64_t *l_192;
      int32_t l_193;
      uint8_t tmp_3;
      int16_t tmp_7;
      int tmp_6;
      l_192 = & g_22;
      l_193 = (int)0x123D3E4EL;
      { /*undefined sequence*/ 
        tmp_3 = safe_mul_func_uint8_t_u_u((unsigned char)g_21[0][1],
                                          (unsigned char)g_22);
        l_13 &= p_11 == (uint32_t)((int)g_21[1][0] >= (int)tmp_3);
      }
      { /*undefined sequence*/ 
        ;
        if (g_2[1]) {
          int tmp_5;
          uint8_t tmp_4;
          { /*undefined sequence*/ 
            tmp_4 = safe_mod_func_uint8_t_u_u((unsigned char)g_4,
                                              (unsigned char)g_20);
            *l_192 |= (long)tmp_4;
          }
          if (*l_192) { tmp_5 = 1; }
          else {
            if (g_166) { tmp_5 = 1; } else { tmp_5 = 0; } }
          if ((long)tmp_5 > 0xBAL) {
            if (p_10) { tmp_6 = 1; }
            else { tmp_6 = 0; }
          }
          else { tmp_6 = 0; }
        }
        else { tmp_6 = 0; }
        tmp_7 = safe_sub_func_int16_t_s_s((short)tmp_6,(short)l_193);
        g_166 = (int)tmp_7 < (int)g_2[1];
      }
    }
    if (p_8) {
      uint64_t *l_195[2][1];
      int32_t l_204;
      uint64_t **l_207[2];
      int i_6;
      int j_4;
      int8_t tmp_12;
      int tmp_11;
      int8_t tmp_10;
      l_204 = (int)0xBE96E642L;
      i_6 = 0;
      while (i_6 < 2) {
        j_4 = 0;
        while (j_4 < 1) {
          l_195[i_6][j_4] = l_184;
          j_4 ++; }
        i_6 ++;
      }
      i_6 = 0;
      while (i_6 < 2) {
        l_207[i_6] = (uint64_t **)((void *)0);
        i_6 ++; }
      { /*undefined sequence*/ 
        g_196 = (uint16_t)((int)g_196 + 1);
        g_199 = (unsigned long)g_196;
        ;
        { /*undefined sequence*/ 
          l_208 = g_205;
          ;
          tmp_10 = safe_sub_func_int8_t_s_s((signed char)l_204,
                                            (signed char)(l_208 == l_209));
        }
        if (tmp_10) { tmp_11 = 1; }
        else { tmp_11 = 0; }
        tmp_12 = safe_lshift_func_int8_t_s_s((signed char)tmp_11,(int)p_11);
        l_204 = (g_199 >= (uint64_t)tmp_12) & (int)l_210;
      }
    }
    else {
      __retres = (unsigned int)p_10;
      goto return_label; }
    g_90 = (unsigned char)12;
    while ((int)g_90 <= 59) {
      {
        uint8_t l_213;
        int32_t l_216;
        int32_t l_217;
        l_213 = (unsigned char)0x3EL;
        l_216 = (int)0xEF6050ABL;
        l_217 = (int)0x1C63E1A4L;
        l_213 = (uint8_t)((int)l_213 + 1);
        g_218 += (uint64_t)1;
      }
      
      g_90 = (uint8_t)safe_add_func_int16_t_s_s((short)g_90,(short)2);
    }
  }
  else {
    int16_t l_221[3][3];
    l_221[0][0] = (short)0L;
    l_221[0][1] = (short)0xB855L;
    l_221[0][2] = (short)0L;
    l_221[1][0] = (short)0L;
    l_221[1][1] = (short)0xB855L;
    l_221[1][2] = (short)0L;
    l_221[2][0] = (short)0L;
    l_221[2][1] = (short)0xB855L;
    l_221[2][2] = (short)0L;
    l_221[0][2] = (short)((int)l_221[0][2] ^ (int)p_9);
  }
  __retres = (unsigned int)p_9;
  return_label: /* internal */ 
  return (__retres);
}

static int32_t *func_31(uint32_t p_32, int32_t **p_33, int32_t const *p_34,
                        int64_t p_35)
{
  int32_t *__retres;
  uint8_t l_107;
  int32_t *l_113;
  int64_t l_116;
  int32_t *l_117[3];
  int32_t * const *l_142;
  int32_t * const **l_141;
  int32_t * const ***l_143;
  int32_t * const ***l_144;
  int8_t l_146;
  int i;
  uint16_t tmp_8;
  int32_t * const **tmp_7;
  l_107 = (unsigned char)0x83L;
  l_113 = (int32_t *)((void *)0);
  l_116 = 1L;
  l_142 = (int32_t * const *)((void *)0);
  l_141 = & l_142;
  l_143 = (int32_t * const ***)((void *)0);
  l_144 = & l_141;
  l_146 = (signed char)8L;
  i = 0;
  while (i < 3) {
    l_117[i] = & g_4;
    i ++; }
  g_23 = (unsigned int)0;
  while (g_23 > (uint32_t)25) {
    {
      int32_t **l_48;
      int32_t ***l_47[3];
      int i_0;
      int16_t tmp;
      l_48 = & g_27;
      i_0 = 0;
      while (i_0 < 3) {
        l_47[i_0] = & l_48;
        i_0 ++; }
      *p_33 = (int32_t *)((void *)0);
      { /*undefined sequence*/ 
        { /*undefined sequence*/ 
          ;
          g_49 = p_33;
          ;
          ;
          tmp = func_42(p_33,p_32,g_49,& g_4);
        }
        *p_33 = func_40((int)l_107);
      }
      g_68 = (unsigned int)0;
      while (g_68 <= (uint32_t)1) {
        {
          int32_t l_109[3];
          uint8_t l_110;
          int i_1;
          uint8_t tmp_0;
          l_110 = (unsigned char)4UL;
          i_1 = 0;
          while (i_1 < 3) {
            l_109[i_1] = (int)8L;
            i_1 ++; }
          { /*undefined sequence*/ 
            tmp_0 = safe_unary_minus_func_uint8_t_u((unsigned char)0xB1L);
            l_109[2] = (int64_t)tmp_0 >= p_35;
          }
          l_110 = (uint8_t)((int)l_110 + 1);
          __retres = *g_49;
          goto return_label;
        }
        
        g_68 += (uint32_t)1;
      }
      l_113 = *g_49;
    }
    
    g_23 += (uint32_t)1;
  }
  g_99 = safe_sub_func_int32_t_s_s(*g_49 == *g_49,
                                   (int64_t)((int)l_107 | g_99) == l_116);
  if (g_99) {
    int8_t l_120;
    int tmp_4;
    int8_t tmp_3;
    int tmp_2;
    uint8_t tmp_1;
    l_120 = (signed char)0x59L;
    { /*undefined sequence*/ 
      { /*undefined sequence*/ 
        { /*undefined sequence*/ 
          tmp_1 = safe_div_func_uint8_t_u_u((unsigned char)(1L < p_35),
                                            (unsigned char)1L);
          ;
        }
        if (p_32 < (uint32_t)tmp_1) { tmp_2 = 0; }
        else { tmp_2 = 1; }
        g_2[0] = l_120;
        tmp_3 = safe_add_func_int8_t_s_s(g_2[0],(signed char)tmp_2);
        ;
      }
      if ((int64_t)tmp_3 <= g_22) { tmp_4 = 1; }
      else {
        if (g_2[1]) { tmp_4 = 1; } else { tmp_4 = 0; } }
      g_97 = (int)((long)g_97 & 0x70EBC133L);
    }
    p_32 = (unsigned int)0;
    while (p_32 <= (uint32_t)1) {
      {
        uint8_t l_123;
        int32_t l_124;
        l_123 = (unsigned char)0x99L;
        l_124 = (int)(-8L);
        *g_49 = l_113;
        l_124 = (int)l_123;
      }
      
      p_32 += (uint32_t)1;
    }
    __retres = *p_33;
    goto return_label;
  }
  else {
    uint32_t l_131;
    uint16_t l_134;
    l_131 = (unsigned int)18446744073709551615UL;
    l_134 = (unsigned short)0x6D6EL;
    *p_33 = func_40((int)p_32);
    lbl_135: g_20 = 13;
    while (g_20 != 19) {
      {
        uint64_t l_132;
        int32_t l_133;
        uint64_t tmp_6;
        uint8_t tmp_5;
        l_132 = 1UL;
        l_133 = (int)0xCB5441F7L;
        *p_33 = l_117[2];
        if (*(*p_33)) { break; }
        { /*undefined sequence*/ 
          { /*undefined sequence*/ 
            { /*undefined sequence*/ 
              { /*undefined sequence*/ 
                tmp_5 = safe_lshift_func_uint8_t_u_u((unsigned char)l_131,
                                                     (unsigned int)7);
                tmp_6 = safe_mod_func_uint64_t_u_u((unsigned long)tmp_5,
                                                   (unsigned long)0x48925B6B4B3FC93ELL);
              }
              *(*p_33) = (int)((unsigned long)*(*p_33) & tmp_6);
            }
            g_22 &= (long)(g_23 ^ (unsigned int)((long)*(*p_33) > 0xC4BC1375L));
          }
          l_132 = (unsigned long)((unsigned long long)(g_22 | (long)p_32) >= 0xB376D112A49DC3AFLL);
          l_133 = (int)((unsigned long)l_133 | l_132);
        }
      }
      
      g_20 ++;
    }
    l_134 = (unsigned short)l_131;
    if (l_131) { goto lbl_135; }
  }
  g_136 -= (uint32_t)1;
  { /*undefined sequence*/ 
    { /*undefined sequence*/  tmp_7 = l_141; *l_144 = tmp_7; g_145 = & g_49;
    }
    ;
    tmp_8 = safe_add_func_uint16_t_u_u((unsigned short)p_35,
                                       (unsigned short)l_146);
    g_97 = (int)((unsigned int)tmp_8 | p_32);
  }
  __retres = *p_33;
  return_label: /* internal */ 
  return (__retres);
}

static int32_t *func_40(int32_t p_41)
{
  int32_t *__retres;
  *g_49 = (int32_t *)((void *)0);
  g_97 = (int)8L;
  __retres = *g_49;
  return (__retres);
}

static int16_t func_42(int32_t **p_43, uint32_t p_44, int32_t **p_45,
                       int32_t *p_46)
{
  int16_t __retres;
  int16_t l_61;
  int64_t l_75;
  int32_t l_76;
  int16_t tmp_3;
  l_61 = (short)0x8526L;
  l_75 = (long)0xDABF261B24C01D5BLL;
  l_76 = (int)0x025B9248L;
  g_22 = (long)0;
  while (g_22 != (int64_t)(-24)) {
    {
      int16_t l_56;
      int32_t l_65;
      uint64_t l_72;
      l_56 = (short)0L;
      l_65 = (int)6L;
      l_72 = 1UL;
      if (*p_46) {
        uint8_t *l_54[3][3];
        uint8_t tmp;
        { /*undefined sequence*/  ; ; ; ; ; ; ; ; ; }
        l_54[0][0] = & g_55;
        l_54[0][1] = & g_55;
        l_54[0][2] = & g_55;
        l_54[1][0] = & g_55;
        l_54[1][1] = & g_55;
        l_54[1][2] = & g_55;
        l_54[2][0] = & g_55;
        l_54[2][1] = & g_55;
        l_54[2][2] = & g_55;
        { /*undefined sequence*/ 
          g_55 = (unsigned char)p_44;
          tmp = safe_lshift_func_uint8_t_u_s(g_55,0);
          *p_46 &= ~ ((int)tmp);
        }
        *p_46 = (int)((long)*p_46 | 0xF274C111L);
      }
      else { *p_46 = (int)l_56; }
      l_56 = (short)0;
      while ((int)l_56 < 24) {
        {
          int8_t *l_62;
          uint32_t *l_66;
          uint32_t *l_67;
          int32_t l_71;
          int tmp_0;
          int16_t tmp_2;
          int tmp_1;
          l_62 = g_2;
          l_66 = (uint32_t *)((void *)0);
          l_67 = & g_68;
          l_71 = (int)0x0EEAEFF6L;
          { /*undefined sequence*/ 
            { /*undefined sequence*/ 
              *l_62 = (signed char)((int)*l_62 & ((long)((p_44 & (unsigned int)l_61) | (unsigned int)l_61) >= -1L));
              ;
            }
            if ((uint32_t)*l_62 >= p_44) { tmp_0 = 1; }
            else { tmp_0 = 0; }
            ;
            *p_46 = (int32_t)safe_rshift_func_int8_t_s_s((signed char)p_44,
                                                         tmp_0);
          }
          if (l_61) { goto __Cont; }
          { /*undefined sequence*/ 
            *l_67 -= (uint32_t)1;
            if (*l_67) {
              if (l_71) {
                if (g_21[2][0]) { tmp_1 = 1; } else { tmp_1 = 0; } }
              else { tmp_1 = 0; }
            }
            else { tmp_1 = 0; }
            tmp_2 = safe_rshift_func_int16_t_s_u((short)tmp_1,
                                                 (unsigned int)10);
            *p_46 &= (int)tmp_2;
          }
        }
        
        __Cont: /* internal */ l_56 = (int16_t)((int)l_56 + 1);
      }
      if (l_61) { goto __Cont_0; }
      if (l_72) { goto __Cont_0; }
    }
    
    __Cont_0: /* internal */ g_22 -= (int64_t)1;
  }
  { /*undefined sequence*/ 
    tmp_3 = safe_mod_func_int16_t_s_s((short)l_75,l_61);
    l_76 = ((int64_t)((unsigned long)tmp_3 > 4294967295UL) < l_75) | (int)g_2[1];
  }
  if (l_61) {
    int32_t *l_92;
    int32_t **l_93;
    int32_t **l_94[2][2];
    int32_t local;
    int32_t tmp_7;
    l_92 = & l_76;
    l_93 = (int32_t **)((void *)0);
    { /*undefined sequence*/  ; ; ; ; }
    l_94[0][0] = & g_27;
    l_94[0][1] = & g_27;
    l_94[1][0] = & g_27;
    l_94[1][1] = & g_27;
    *g_49 = (int32_t *)((void *)0);
    lbl_91: g_68 = (unsigned int)9;
    while (g_68 >= (uint32_t)60) {
      {
        uint32_t l_79;
        l_79 = (unsigned int)0UL;
        *p_46 = (int)l_79;
        *p_46 = 0x9B4FL > (long)((void *)0 == & g_20);
        *p_46 = *p_46;
      }
      
      g_68 += (uint32_t)1;
    }
    local = *p_46;
    { /*undefined sequence*/  tmp_7 = local < l_76; *p_46 = tmp_7; }
    if (tmp_7) {
      int32_t l_84;
      uint8_t *l_89[1];
      int i_1;
      uint16_t tmp_5;
      uint8_t tmp_6;
      l_84 = (int)0x2A84738BL;
      i_1 = 0;
      while (i_1 < 1) {
        l_89[i_1] = & g_90;
        i_1 ++; }
      tmp_5 = safe_rshift_func_uint16_t_u_s((unsigned short)65535UL,3);
      *p_46 = l_84;
      { /*undefined sequence*/ 
        { /*undefined sequence*/ 
          ;
          g_90 = (unsigned char)l_61;
          safe_lshift_func_uint8_t_u_u(g_90,g_23);
        }
        ;
        ;
        tmp_6 = safe_lshift_func_uint8_t_u_s(g_55,
                                             (int)((unsigned int)(p_44 > p_44) & p_44));
        l_84 |= (int)tmp_6;
      }
    }
    else {
      if (g_4) { goto lbl_91; }
      __retres = (short)p_44;
      goto return_label;
    }
    *p_45 = l_92;
  }
  else {
    int32_t *l_95[2];
    int16_t l_98;
    uint64_t l_101;
    int i_2;
    l_98 = (short)0x1A38L;
    l_101 = 0UL;
    i_2 = 0;
    while (i_2 < 2) {
      l_95[i_2] = & g_4;
      i_2 ++; }
    l_95[0] = *p_43;
    g_4 = 0;
    while (g_4 <= 1) {
      {
        uint16_t l_96;
        int32_t l_100;
        l_96 = (unsigned short)0x67B9L;
        l_100 = (int)0xAA84C6C1L;
        if (l_61) { break; }
        if (l_96) { break; }
        if (l_96) { break; }
        l_101 -= (uint64_t)1;
      }
      
      g_4 ++;
    }
    g_97 = 0;
    while (g_97 >= 0) {
      {
        int32_t *l_106;
        l_106 = & l_76;
        l_95[0] = l_106;
        __retres = (short)p_44;
        goto return_label;
      }
      
      g_97 ++;
    }
    l_98 = (short)1;
    while ((int)l_98 >= 0) {
      *p_46 = 1;
      l_98 = (short)((int)l_98 - 1); }
  }
  __retres = (short)g_68;
  return_label: /* internal */ 
  return (__retres);
}

int main(void)
{
  int __retres;
  int i;
  int j;
  int print_hash_value;
  print_hash_value = 0;
  platform_main_begin();
  crc32_gentab();
  func_1();
  i = 0;
  while (i < 2) {
    transparent_crc((unsigned long)g_2[i],(char *)"g_2[i]",print_hash_value);
    if (print_hash_value) { printf("index = [%d]\n",i); }
    i ++;
  }
  transparent_crc((unsigned long)g_4,(char *)"g_4",print_hash_value);
  transparent_crc((unsigned long)g_20,(char *)"g_20",print_hash_value);
  i = 0;
  while (i < 3) {
    j = 0;
    while (j < 2) {
      transparent_crc((unsigned long)g_21[i][j],(char *)"g_21[i][j]",
                      print_hash_value);
      if (print_hash_value) { printf("index = [%d][%d]\n",i,j); }
      j ++;
    }
    i ++;
  }
  transparent_crc((unsigned long)g_22,(char *)"g_22",print_hash_value);
  transparent_crc((unsigned long)g_23,(char *)"g_23",print_hash_value);
  transparent_crc((unsigned long)g_55,(char *)"g_55",print_hash_value);
  transparent_crc((unsigned long)g_68,(char *)"g_68",print_hash_value);
  transparent_crc((unsigned long)g_90,(char *)"g_90",print_hash_value);
  transparent_crc((unsigned long)g_97,(char *)"g_97",print_hash_value);
  transparent_crc((unsigned long)g_99,(char *)"g_99",print_hash_value);
  transparent_crc((unsigned long)g_136,(char *)"g_136",print_hash_value);
  transparent_crc((unsigned long)g_150,(char *)"g_150",print_hash_value);
  transparent_crc((unsigned long)g_166,(char *)"g_166",print_hash_value);
  transparent_crc((unsigned long)g_196,(char *)"g_196",print_hash_value);
  transparent_crc(g_199,(char *)"g_199",print_hash_value);
  i = 0;
  while (i < 2) {
    j = 0;
    while (j < 2) {
      transparent_crc(g_206[i][j],(char *)"g_206[i][j]",print_hash_value);
      if (print_hash_value) { printf("index = [%d][%d]\n",i,j); }
      j ++;
    }
    i ++;
  }
  transparent_crc(g_218,(char *)"g_218",print_hash_value);
  i = 0;
  while (i < 1) {
    transparent_crc((unsigned long)g_222[i],(char *)"g_222[i]",
                    print_hash_value);
    if (print_hash_value) { printf("index = [%d]\n",i); }
    i ++;
  }
  platform_main_end((unsigned int)((unsigned long)crc32_context ^ 0xFFFFFFFFUL),
                    print_hash_value);
  __retres = 0;
  return (__retres);
}