text: 
  /*
  CF3
  
  Copyright (c) 2015 ishiura-lab.
  
  Released under the MIT license.  
  https://github.com/ishiura-compiler/CF3/MIT-LICENSE.md
  */
  
  #include<stdio.h>
  #include<stdint.h>
  #include<stdlib.h>
  #include"test1.h"
  
  static volatile int64_t x5 = 388LL;
  volatile int64_t t1 = -31719775714LL;
  volatile int64_t x32 = -353245727LL;
  static int32_t t8 = -311;
  static uint64_t x38 = UINT64_MAX;
  static int32_t x45 = -1;
  int64_t x46 = INT64_MIN;
  volatile int32_t t10 = -190315804;
  int32_t t11 = 1054197254;
  int8_t x58 = 1;
  volatile int16_t x60 = 15285;
  uint64_t x61 = 2532586137LLU;
  int8_t x73 = -1;
  volatile int32_t t17 = -7;
  static uint64_t x78 = 8440341LLU;
  uint32_t x83 = 26927U;
  int8_t x84 = -12;
  int64_t t19 = 5LL;
  static int16_t x88 = -127;
  volatile int32_t t20 = -633767;
  static int64_t x91 = -153454446032LL;
  volatile int8_t x99 = 1;
  uint8_t x108 = 2U;
  int8_t x109 = INT8_MIN;
  static uint64_t x110 = 6584941LLU;
  volatile uint8_t x112 = 42U;
  uint32_t t25 = 1171004U;
  int64_t x125 = -1LL;
  int16_t x127 = INT16_MAX;
  int16_t x133 = INT16_MIN;
  static int32_t x144 = -1;
  int32_t x150 = 49;
  int32_t x152 = 0;
  static int32_t x157 = INT32_MIN;
  int16_t x163 = -1;
  int32_t t36 = 318288282;
  int16_t x169 = 0;
  static int16_t x173 = INT16_MIN;
  volatile uint16_t x189 = 1941U;
  int32_t x192 = -285044917;
  static int32_t x211 = 21;
  static volatile int32_t t46 = -66307424;
  int8_t x216 = 0;
  volatile int32_t x218 = INT32_MIN;
  uint32_t x220 = 2163902U;
  int16_t x229 = INT16_MIN;
  static int8_t x232 = INT8_MIN;
  int8_t x242 = INT8_MIN;
  static int64_t x248 = INT64_MIN;
  volatile int32_t t54 = 128455622;
  uint32_t x249 = UINT32_MAX;
  static uint32_t t55 = 1304U;
  int64_t x254 = -5744292337978757LL;
  static volatile uint64_t t56 = 14735167998968LLU;
  uint16_t x261 = UINT16_MAX;
  static volatile int64_t x263 = INT64_MIN;
  int16_t x274 = -1;
  volatile int64_t x281 = -1LL;
  int32_t x282 = -108;
  int8_t x283 = INT8_MIN;
  int16_t x284 = -1;
  uint64_t x286 = 8880059697748315143LLU;
  int64_t x288 = -42450948LL;
  uint16_t x295 = 128U;
  volatile uint8_t x297 = UINT8_MAX;
  int32_t x303 = -1;
  volatile int32_t x308 = -237139;
  volatile int16_t x310 = -1863;
  static int32_t t67 = -281471945;
  int32_t x317 = -40515612;
  uint16_t x323 = 0U;
  uint64_t x326 = 1LLU;
  int8_t x328 = 50;
  static volatile int64_t t71 = 12869524161737LL;
  int64_t t72 = 327031866842203219LL;
  int16_t x334 = -1;
  int32_t t73 = 13;
  int8_t x340 = -1;
  int32_t x368 = INT32_MIN;
  volatile uint64_t x370 = UINT64_MAX;
  volatile int64_t x371 = INT64_MAX;
  volatile int32_t t82 = -2560336;
  int32_t x376 = -542;
  int32_t x384 = -1;
  volatile int32_t x392 = -1;
  int8_t x396 = INT8_MIN;
  volatile uint16_t x399 = 1851U;
  int8_t x401 = -3;
  int16_t x410 = INT16_MIN;
  volatile int32_t t91 = 183;
  int32_t t93 = 0;
  int32_t t95 = 359702;
  static volatile uint64_t x434 = 48366952LLU;
  int8_t x437 = INT8_MIN;
  volatile uint16_t x438 = 32U;
  uint32_t x446 = 14U;
  uint64_t x447 = 795660103328LLU;
  static uint8_t x449 = 28U;
  int64_t x451 = INT64_MAX;
  int32_t t100 = 34048276;
  uint32_t x457 = UINT32_MAX;
  int16_t x458 = 188;
  volatile uint32_t t102 = UINT32_MAX;
  int32_t x471 = -1;
  int64_t x474 = 2178956LL;
  volatile uint16_t x475 = 889U;
  int32_t t105 = 25303699;
  uint32_t x477 = 69632U;
  int64_t x483 = 50539988LL;
  uint32_t x484 = 15U;
  static int64_t x487 = INT64_MAX;
  static int8_t x490 = 32;
  volatile uint8_t x491 = 27U;
  uint16_t x495 = UINT16_MAX;
  int32_t x498 = -1;
  int8_t x504 = INT8_MIN;
  static volatile uint16_t x507 = 3U;
  volatile int32_t t113 = INT32_MAX;
  int8_t x516 = INT8_MAX;
  int32_t t115 = -2039;
  uint64_t x518 = 7420LLU;
  int32_t t116 = 91759;
  volatile uint64_t t119 = 34790502394855LLU;
  uint16_t x537 = 11U;
  int16_t x544 = INT16_MAX;
  uint32_t x548 = 2515578U;
  int32_t t122 = 17455;
  int16_t x558 = INT16_MIN;
  volatile uint64_t t126 = 27075890341LLU;
  uint64_t x573 = 87LLU;
  static int32_t x574 = INT32_MIN;
  int8_t x579 = -1;
  volatile int16_t x582 = -1;
  int32_t x584 = INT32_MAX;
  uint32_t x586 = 4214189U;
  int16_t x592 = 1;
  int16_t x599 = INT16_MIN;
  static int32_t t134 = -425466;
  int32_t t135 = -127;
  int8_t x614 = -11;
  static int8_t x615 = INT8_MIN;
  volatile int16_t x618 = INT16_MIN;
  uint8_t x619 = UINT8_MAX;
  static int8_t x629 = 6;
  int64_t x632 = -919290838135269LL;
  int32_t x634 = INT32_MIN;
  int8_t x636 = -1;
  uint32_t t142 = 245493U;
  int32_t x645 = -1;
  volatile int64_t x651 = -1LL;
  uint32_t x652 = 1U;
  int32_t x655 = 0;
  volatile int32_t x661 = INT32_MAX;
  volatile int64_t x666 = INT64_MIN;
  int16_t x674 = -1;
  uint32_t x684 = 808400277U;
  int64_t x685 = -1LL;
  volatile uint32_t t154 = 27U;
  static int16_t x701 = INT16_MIN;
  uint64_t x704 = 300620322713483LLU;
  int32_t t156 = 44;
  int8_t x705 = INT8_MAX;
  uint16_t x706 = 52U;
  uint16_t x708 = 13U;
  int16_t x714 = -4;
  static volatile uint64_t x721 = 2414506LLU;
  int8_t x722 = 19;
  uint8_t x725 = UINT8_MAX;
  uint32_t x726 = 57U;
  static int32_t t161 = 1;
  uint8_t x735 = UINT8_MAX;
  volatile int64_t t164 = -8164714LL;
  static uint64_t x749 = 1591LLU;
  uint64_t t166 = 2354769LLU;
  int32_t x761 = 5651;
  int32_t t169 = -406277992;
  uint8_t x766 = 11U;
  uint16_t x768 = UINT16_MAX;
  static volatile int16_t x770 = 0;
  int32_t x771 = -1;
  int16_t x772 = 2714;
  int32_t t171 = -84098003;
  static int32_t x773 = INT32_MIN;
  int16_t x788 = INT16_MIN;
  static int64_t t174 = 129826483406LL;
  uint16_t x789 = 246U;
  uint64_t x802 = 18654LLU;
  int8_t x806 = INT8_MIN;
  static uint64_t x810 = 868948047LLU;
  static int8_t x812 = INT8_MIN;
  volatile uint16_t x814 = 1U;
  static int64_t x816 = -122247785LL;
  static int16_t x863 = INT16_MAX;
  int64_t x868 = -1LL;
  static volatile int16_t x873 = INT16_MIN;
  static uint64_t x879 = 6LLU;
  int64_t x880 = -1008258LL;
  volatile uint64_t x884 = 3970942728LLU;
  volatile int32_t t195 = 187;
  int16_t x900 = 3573;
  volatile int64_t t199 = 1LL;
  
  
  void f0(void) {
      	volatile int16_t x1 = INT16_MAX;
  	int64_t x2 = INT64_MIN;
  	volatile int16_t x3 = -484;
  	volatile int64_t x4 = INT64_MIN;
  	int32_t t0 = -2348614;
  
      t0 = (x1*((x2-x3)<=x4));
  
      if (t0 != 0) { NG(); } else { ; }
  	
  }
  
  void f1(void) {
      	volatile int32_t x6 = 86322;
  	int16_t x7 = INT16_MAX;
  	static volatile int8_t x8 = INT8_MAX;
  
      t1 = (x5*((x6-x7)<=x8));
  
      if (t1 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f2(void) {
      	int16_t x9 = INT16_MIN;
  	int8_t x10 = INT8_MAX;
  	volatile int32_t x11 = -1;
  	volatile int32_t x12 = INT32_MIN;
  	volatile int32_t t2 = -155421877;
  
      t2 = (x9*((x10-x11)<=x12));
  
      if (t2 != 0) { NG(); } else { ; }
  	
  }
  
  void f3(void) {
      	uint64_t x13 = UINT64_MAX;
  	uint64_t x14 = UINT64_MAX;
  	int32_t x15 = -524;
  	static int8_t x16 = INT8_MAX;
  	static volatile uint64_t t3 = 16405815152954387LLU;
  
      t3 = (x13*((x14-x15)<=x16));
  
      if (t3 != 0LLU) { NG(); } else { ; }
  	
  }
  
  void f4(void) {
      	volatile int32_t x17 = -387311;
  	uint32_t x18 = UINT32_MAX;
  	int32_t x19 = INT32_MAX;
  	uint8_t x20 = UINT8_MAX;
  	int32_t t4 = 204876;
  
      t4 = (x17*((x18-x19)<=x20));
  
      if (t4 != 0) { NG(); } else { ; }
  	
  }
  
  void f5(void) {
      	int8_t x21 = 13;
  	int16_t x22 = INT16_MAX;
  	int64_t x23 = -1LL;
  	volatile int16_t x24 = 100;
  	int32_t t5 = -414;
  
      t5 = (x21*((x22-x23)<=x24));
  
      if (t5 != 0) { NG(); } else { ; }
  	
  }
  
  void f6(void) {
      	int8_t x25 = -50;
  	int16_t x26 = INT16_MIN;
  	int8_t x27 = 1;
  	int64_t x28 = INT64_MIN;
  	int32_t t6 = -8318;
  
      t6 = (x25*((x26-x27)<=x28));
  
      if (t6 != 0) { NG(); } else { ; }
  	
  }
  
  void f7(void) {
      	int32_t x29 = INT32_MIN;
  	volatile int8_t x30 = INT8_MAX;
  	int64_t x31 = -1LL;
  	volatile int32_t t7 = 242919007;
  
      t7 = (x29*((x30-x31)<=x32));
  
      if (t7 != 0) { NG(); } else { ; }
  	
  }
  
  void f8(void) {
      	volatile int16_t x33 = -1690;
  	static int8_t x34 = INT8_MIN;
  	volatile uint8_t x35 = 3U;
  	uint16_t x36 = 845U;
  
      t8 = (x33*((x34-x35)<=x36));
  
      if (t8 != -1690) { NG(); } else { ; }
  	
  }
  
  void f9(void) {
      	volatile int32_t x37 = INT32_MIN;
  	static int32_t x39 = INT32_MIN;
  	volatile int8_t x40 = -1;
  	int32_t t9 = INT32_MIN;
  
      t9 = (x37*((x38-x39)<=x40));
  
      if (t9 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f10(void) {
      	int8_t x47 = INT8_MIN;
  	int32_t x48 = -1;
  
      t10 = (x45*((x46-x47)<=x48));
  
      if (t10 != -1) { NG(); } else { ; }
  	
  }
  
  void f11(void) {
      	int32_t x49 = INT32_MIN;
  	int16_t x50 = INT16_MAX;
  	uint64_t x51 = 129970466855404443LLU;
  	static uint8_t x52 = 0U;
  
      t11 = (x49*((x50-x51)<=x52));
  
      if (t11 != 0) { NG(); } else { ; }
  	
  }
  
  void f12(void) {
      	static int32_t x53 = INT32_MIN;
  	volatile int64_t x54 = 1847107720094525244LL;
  	uint8_t x55 = 3U;
  	uint16_t x56 = 1U;
  	volatile int32_t t12 = -210021125;
  
      t12 = (x53*((x54-x55)<=x56));
  
      if (t12 != 0) { NG(); } else { ; }
  	
  }
  
  void f13(void) {
      	uint8_t x57 = 0U;
  	uint8_t x59 = 3U;
  	int32_t t13 = 610431217;
  
      t13 = (x57*((x58-x59)<=x60));
  
      if (t13 != 0) { NG(); } else { ; }
  	
  }
  
  void f14(void) {
      	int64_t x62 = -39890840936LL;
  	uint32_t x63 = 16066442U;
  	int32_t x64 = INT32_MAX;
  	volatile uint64_t t14 = 8175958198270879374LLU;
  
      t14 = (x61*((x62-x63)<=x64));
  
      if (t14 != 2532586137LLU) { NG(); } else { ; }
  	
  }
  
  void f15(void) {
      	int16_t x65 = INT16_MIN;
  	int32_t x66 = INT32_MAX;
  	volatile uint32_t x67 = 22571U;
  	volatile int32_t x68 = -22408565;
  	volatile int32_t t15 = -17;
  
      t15 = (x65*((x66-x67)<=x68));
  
      if (t15 != -32768) { NG(); } else { ; }
  	
  }
  
  void f16(void) {
      	uint64_t x69 = 2810848893731450LLU;
  	int16_t x70 = INT16_MAX;
  	uint32_t x71 = 15241878U;
  	int64_t x72 = -160709LL;
  	volatile uint64_t t16 = 710165224LLU;
  
      t16 = (x69*((x70-x71)<=x72));
  
      if (t16 != 0LLU) { NG(); } else { ; }
  	
  }
  
  void f17(void) {
      	static int16_t x74 = 5;
  	int64_t x75 = -12LL;
  	static volatile uint8_t x76 = 0U;
  
      t17 = (x73*((x74-x75)<=x76));
  
      if (t17 != 0) { NG(); } else { ; }
  	
  }
  
  void f18(void) {
      	int32_t x77 = INT32_MIN;
  	volatile int64_t x79 = INT64_MIN;
  	volatile int64_t x80 = INT64_MIN;
  	static volatile int32_t t18 = -53;
  
      t18 = (x77*((x78-x79)<=x80));
  
      if (t18 != 0) { NG(); } else { ; }
  	
  }
  
  void f19(void) {
      	static int64_t x81 = -12730362260786LL;
  	int32_t x82 = INT32_MAX;
  
      t19 = (x81*((x82-x83)<=x84));
  
      if (t19 != -12730362260786LL) { NG(); } else { ; }
  	
  }
  
  void f20(void) {
      	static int8_t x85 = INT8_MIN;
  	int64_t x86 = INT64_MIN;
  	uint64_t x87 = UINT64_MAX;
  
      t20 = (x85*((x86-x87)<=x88));
  
      if (t20 != -128) { NG(); } else { ; }
  	
  }
  
  void f21(void) {
      	uint16_t x89 = 6565U;
  	uint32_t x90 = 88098079U;
  	volatile int32_t x92 = INT32_MAX;
  	volatile int32_t t21 = 343931105;
  
      t21 = (x89*((x90-x91)<=x92));
  
      if (t21 != 0) { NG(); } else { ; }
  	
  }
  
  void f22(void) {
      	volatile int8_t x97 = 0;
  	uint64_t x98 = 10097984071937LLU;
  	volatile int8_t x100 = 3;
  	volatile int32_t t22 = 173013;
  
      t22 = (x97*((x98-x99)<=x100));
  
      if (t22 != 0) { NG(); } else { ; }
  	
  }
  
  void f23(void) {
      	int32_t x105 = INT32_MIN;
  	uint8_t x106 = 51U;
  	volatile int8_t x107 = INT8_MAX;
  	int32_t t23 = INT32_MIN;
  
      t23 = (x105*((x106-x107)<=x108));
  
      if (t23 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f24(void) {
      	uint16_t x111 = 14886U;
  	volatile int32_t t24 = -3716846;
  
      t24 = (x109*((x110-x111)<=x112));
  
      if (t24 != 0) { NG(); } else { ; }
  	
  }
  
  void f25(void) {
      	uint32_t x117 = 293690U;
  	uint32_t x118 = 3150528U;
  	static int32_t x119 = INT32_MIN;
  	uint16_t x120 = 11745U;
  
      t25 = (x117*((x118-x119)<=x120));
  
      if (t25 != 0U) { NG(); } else { ; }
  	
  }
  
  void f26(void) {
      	uint8_t x121 = UINT8_MAX;
  	static volatile int32_t x122 = -1399;
  	uint64_t x123 = UINT64_MAX;
  	int8_t x124 = INT8_MAX;
  	volatile int32_t t26 = -53135;
  
      t26 = (x121*((x122-x123)<=x124));
  
      if (t26 != 0) { NG(); } else { ; }
  	
  }
  
  void f27(void) {
      	static uint16_t x126 = 3380U;
  	int32_t x128 = 16121;
  	int64_t t27 = -346769601139621LL;
  
      t27 = (x125*((x126-x127)<=x128));
  
      if (t27 != -1LL) { NG(); } else { ; }
  	
  }
  
  void f28(void) {
      	int32_t x129 = 4350;
  	int64_t x130 = INT64_MIN;
  	int64_t x131 = -1010799227338529256LL;
  	volatile int8_t x132 = -21;
  	int32_t t28 = 53827;
  
      t28 = (x129*((x130-x131)<=x132));
  
      if (t28 != 4350) { NG(); } else { ; }
  	
  }
  
  void f29(void) {
      	uint32_t x134 = 16U;
  	int32_t x135 = INT32_MAX;
  	int8_t x136 = INT8_MIN;
  	int32_t t29 = -276525;
  
      t29 = (x133*((x134-x135)<=x136));
  
      if (t29 != -32768) { NG(); } else { ; }
  	
  }
  
  void f30(void) {
      	int32_t x137 = INT32_MIN;
  	uint16_t x138 = UINT16_MAX;
  	int16_t x139 = -72;
  	int8_t x140 = INT8_MIN;
  	volatile int32_t t30 = -593855086;
  
      t30 = (x137*((x138-x139)<=x140));
  
      if (t30 != 0) { NG(); } else { ; }
  	
  }
  
  void f31(void) {
      	int16_t x141 = INT16_MIN;
  	int16_t x142 = -1;
  	int32_t x143 = INT32_MIN;
  	int32_t t31 = -1;
  
      t31 = (x141*((x142-x143)<=x144));
  
      if (t31 != 0) { NG(); } else { ; }
  	
  }
  
  void f32(void) {
      	int8_t x145 = INT8_MIN;
  	int16_t x146 = INT16_MIN;
  	int32_t x147 = INT32_MIN;
  	volatile int16_t x148 = -197;
  	volatile int32_t t32 = 4;
  
      t32 = (x145*((x146-x147)<=x148));
  
      if (t32 != 0) { NG(); } else { ; }
  	
  }
  
  void f33(void) {
      	int32_t x149 = INT32_MIN;
  	int16_t x151 = 89;
  	static int32_t t33 = INT32_MIN;
  
      t33 = (x149*((x150-x151)<=x152));
  
      if (t33 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f34(void) {
      	int8_t x153 = 34;
  	int16_t x154 = INT16_MIN;
  	int8_t x155 = -2;
  	int64_t x156 = 6479996856LL;
  	int32_t t34 = 16126417;
  
      t34 = (x153*((x154-x155)<=x156));
  
      if (t34 != 34) { NG(); } else { ; }
  	
  }
  
  void f35(void) {
      	int8_t x158 = -1;
  	static int16_t x159 = INT16_MIN;
  	volatile int64_t x160 = 9532469827LL;
  	static volatile int32_t t35 = INT32_MIN;
  
      t35 = (x157*((x158-x159)<=x160));
  
      if (t35 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f36(void) {
      	int8_t x161 = -1;
  	uint8_t x162 = UINT8_MAX;
  	volatile int32_t x164 = -1;
  
      t36 = (x161*((x162-x163)<=x164));
  
      if (t36 != 0) { NG(); } else { ; }
  	
  }
  
  void f37(void) {
      	int64_t x170 = -1LL;
  	int16_t x171 = -1;
  	volatile int64_t x172 = INT64_MAX;
  	int32_t t37 = -8027089;
  
      t37 = (x169*((x170-x171)<=x172));
  
      if (t37 != 0) { NG(); } else { ; }
  	
  }
  
  void f38(void) {
      	static volatile int16_t x174 = INT16_MIN;
  	uint64_t x175 = 27127796983090LLU;
  	int32_t x176 = INT32_MAX;
  	static int32_t t38 = -322;
  
      t38 = (x173*((x174-x175)<=x176));
  
      if (t38 != 0) { NG(); } else { ; }
  	
  }
  
  void f39(void) {
      	int64_t x177 = INT64_MAX;
  	volatile int16_t x178 = INT16_MIN;
  	int64_t x179 = -1LL;
  	volatile uint8_t x180 = 0U;
  	int64_t t39 = INT64_MAX;
  
      t39 = (x177*((x178-x179)<=x180));
  
      if (t39 != INT64_MAX) { NG(); } else { ; }
  	
  }
  
  void f40(void) {
      	uint32_t x181 = 82U;
  	int16_t x182 = -1;
  	int8_t x183 = 1;
  	static int16_t x184 = INT16_MIN;
  	volatile uint32_t t40 = 8001U;
  
      t40 = (x181*((x182-x183)<=x184));
  
      if (t40 != 0U) { NG(); } else { ; }
  	
  }
  
  void f41(void) {
      	static int64_t x185 = INT64_MAX;
  	int16_t x186 = INT16_MAX;
  	static int8_t x187 = INT8_MIN;
  	int16_t x188 = INT16_MIN;
  	volatile int64_t t41 = -170638048363379LL;
  
      t41 = (x185*((x186-x187)<=x188));
  
      if (t41 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f42(void) {
      	int8_t x190 = -1;
  	static int64_t x191 = INT64_MIN;
  	int32_t t42 = 79500935;
  
      t42 = (x189*((x190-x191)<=x192));
  
      if (t42 != 0) { NG(); } else { ; }
  	
  }
  
  void f43(void) {
      	volatile int64_t x193 = INT64_MIN;
  	uint32_t x194 = 1741089U;
  	int16_t x195 = INT16_MAX;
  	uint8_t x196 = 2U;
  	volatile int64_t t43 = 74909529765114762LL;
  
      t43 = (x193*((x194-x195)<=x196));
  
      if (t43 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f44(void) {
      	int32_t x197 = -1;
  	int8_t x198 = 0;
  	volatile uint64_t x199 = 1792031171421510LLU;
  	int16_t x200 = 232;
  	int32_t t44 = -170;
  
      t44 = (x197*((x198-x199)<=x200));
  
      if (t44 != 0) { NG(); } else { ; }
  	
  }
  
  void f45(void) {
      	int64_t x205 = -1LL;
  	int64_t x206 = 6LL;
  	static int32_t x207 = -1;
  	int8_t x208 = 3;
  	int64_t t45 = 3LL;
  
      t45 = (x205*((x206-x207)<=x208));
  
      if (t45 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f46(void) {
      	int32_t x209 = 9850;
  	int64_t x210 = INT64_MAX;
  	int32_t x212 = -4993479;
  
      t46 = (x209*((x210-x211)<=x212));
  
      if (t46 != 0) { NG(); } else { ; }
  	
  }
  
  void f47(void) {
      	int32_t x213 = INT32_MIN;
  	int32_t x214 = -1;
  	uint16_t x215 = 3766U;
  	int32_t t47 = INT32_MIN;
  
      t47 = (x213*((x214-x215)<=x216));
  
      if (t47 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f48(void) {
      	volatile uint32_t x217 = 0U;
  	uint64_t x219 = 6378080LLU;
  	uint32_t t48 = 4U;
  
      t48 = (x217*((x218-x219)<=x220));
  
      if (t48 != 0U) { NG(); } else { ; }
  	
  }
  
  void f49(void) {
      	volatile uint64_t x221 = UINT64_MAX;
  	int32_t x222 = INT32_MIN;
  	static volatile int64_t x223 = -1LL;
  	int32_t x224 = -1;
  	uint64_t t49 = UINT64_MAX;
  
      t49 = (x221*((x222-x223)<=x224));
  
      if (t49 != UINT64_MAX) { NG(); } else { ; }
  	
  }
  
  void f50(void) {
      	int32_t x225 = INT32_MIN;
  	uint32_t x226 = 911569U;
  	volatile int16_t x227 = INT16_MIN;
  	static volatile int64_t x228 = INT64_MIN;
  	int32_t t50 = 116;
  
      t50 = (x225*((x226-x227)<=x228));
  
      if (t50 != 0) { NG(); } else { ; }
  	
  }
  
  void f51(void) {
      	static int8_t x230 = -9;
  	int32_t x231 = INT32_MIN;
  	volatile int32_t t51 = 7334293;
  
      t51 = (x229*((x230-x231)<=x232));
  
      if (t51 != 0) { NG(); } else { ; }
  	
  }
  
  void f52(void) {
      	uint64_t x237 = 553LLU;
  	static int8_t x238 = INT8_MAX;
  	int16_t x239 = INT16_MAX;
  	int16_t x240 = -1;
  	uint64_t t52 = 261043004155811757LLU;
  
      t52 = (x237*((x238-x239)<=x240));
  
      if (t52 != 553LLU) { NG(); } else { ; }
  	
  }
  
  void f53(void) {
      	int32_t x241 = INT32_MIN;
  	int16_t x243 = -9;
  	int32_t x244 = INT32_MAX;
  	volatile int32_t t53 = INT32_MIN;
  
      t53 = (x241*((x242-x243)<=x244));
  
      if (t53 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f54(void) {
      	int16_t x245 = INT16_MAX;
  	int8_t x246 = -1;
  	static int64_t x247 = 1393LL;
  
      t54 = (x245*((x246-x247)<=x248));
  
      if (t54 != 0) { NG(); } else { ; }
  	
  }
  
  void f55(void) {
      	volatile uint32_t x250 = 598630462U;
  	static volatile int32_t x251 = INT32_MAX;
  	static int32_t x252 = INT32_MAX;
  
      t55 = (x249*((x250-x251)<=x252));
  
      if (t55 != 0U) { NG(); } else { ; }
  	
  }
  
  void f56(void) {
      	uint64_t x253 = 877LLU;
  	int16_t x255 = INT16_MIN;
  	int16_t x256 = -1;
  
      t56 = (x253*((x254-x255)<=x256));
  
      if (t56 != 877LLU) { NG(); } else { ; }
  	
  }
  
  void f57(void) {
      	int32_t x262 = INT32_MIN;
  	static uint8_t x264 = 51U;
  	int32_t t57 = 395685;
  
      t57 = (x261*((x262-x263)<=x264));
  
      if (t57 != 0) { NG(); } else { ; }
  	
  }
  
  void f58(void) {
      	int64_t x273 = INT64_MIN;
  	volatile int32_t x275 = INT32_MIN;
  	uint16_t x276 = UINT16_MAX;
  	volatile int64_t t58 = 7399249409043493LL;
  
      t58 = (x273*((x274-x275)<=x276));
  
      if (t58 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f59(void) {
      	uint16_t x277 = 3325U;
  	int32_t x278 = 1286;
  	int32_t x279 = -33;
  	int64_t x280 = 455178982LL;
  	volatile int32_t t59 = -3;
  
      t59 = (x277*((x278-x279)<=x280));
  
      if (t59 != 3325) { NG(); } else { ; }
  	
  }
  
  void f60(void) {
      	static volatile int64_t t60 = 11829314396LL;
  
      t60 = (x281*((x282-x283)<=x284));
  
      if (t60 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f61(void) {
      	uint8_t x285 = 1U;
  	int16_t x287 = 2929;
  	int32_t t61 = -10;
  
      t61 = (x285*((x286-x287)<=x288));
  
      if (t61 != 1) { NG(); } else { ; }
  	
  }
  
  void f62(void) {
      	int8_t x289 = INT8_MAX;
  	int32_t x290 = 3121;
  	uint32_t x291 = 22015U;
  	uint16_t x292 = UINT16_MAX;
  	int32_t t62 = 22242;
  
      t62 = (x289*((x290-x291)<=x292));
  
      if (t62 != 0) { NG(); } else { ; }
  	
  }
  
  void f63(void) {
      	static int8_t x293 = INT8_MIN;
  	static uint64_t x294 = 29124756192497707LLU;
  	uint8_t x296 = 40U;
  	volatile int32_t t63 = -33096;
  
      t63 = (x293*((x294-x295)<=x296));
  
      if (t63 != 0) { NG(); } else { ; }
  	
  }
  
  void f64(void) {
      	int16_t x298 = INT16_MIN;
  	int8_t x299 = INT8_MIN;
  	uint16_t x300 = UINT16_MAX;
  	volatile int32_t t64 = -9;
  
      t64 = (x297*((x298-x299)<=x300));
  
      if (t64 != 255) { NG(); } else { ; }
  	
  }
  
  void f65(void) {
      	volatile int16_t x301 = -11;
  	volatile int8_t x302 = INT8_MIN;
  	int8_t x304 = INT8_MIN;
  	static volatile int32_t t65 = -3606529;
  
      t65 = (x301*((x302-x303)<=x304));
  
      if (t65 != 0) { NG(); } else { ; }
  	
  }
  
  void f66(void) {
      	int32_t x305 = -1;
  	static int64_t x306 = 1LL;
  	static uint16_t x307 = 993U;
  	int32_t t66 = -1699;
  
      t66 = (x305*((x306-x307)<=x308));
  
      if (t66 != 0) { NG(); } else { ; }
  	
  }
  
  void f67(void) {
      	int8_t x309 = INT8_MIN;
  	uint64_t x311 = UINT64_MAX;
  	volatile int32_t x312 = -265875293;
  
      t67 = (x309*((x310-x311)<=x312));
  
      if (t67 != 0) { NG(); } else { ; }
  	
  }
  
  void f68(void) {
      	uint8_t x313 = 1U;
  	int32_t x314 = -1825;
  	static uint16_t x315 = 5829U;
  	int64_t x316 = INT64_MIN;
  	int32_t t68 = -53404;
  
      t68 = (x313*((x314-x315)<=x316));
  
      if (t68 != 0) { NG(); } else { ; }
  	
  }
  
  void f69(void) {
      	int64_t x318 = 14351947833252625LL;
  	static int8_t x319 = -1;
  	volatile int64_t x320 = -1LL;
  	static volatile int32_t t69 = 22173;
  
      t69 = (x317*((x318-x319)<=x320));
  
      if (t69 != 0) { NG(); } else { ; }
  	
  }
  
  void f70(void) {
      	int16_t x321 = 673;
  	int32_t x322 = -1;
  	static int16_t x324 = INT16_MAX;
  	static int32_t t70 = 106165486;
  
      t70 = (x321*((x322-x323)<=x324));
  
      if (t70 != 673) { NG(); } else { ; }
  	
  }
  
  void f71(void) {
      	int64_t x325 = -1LL;
  	int64_t x327 = -1LL;
  
      t71 = (x325*((x326-x327)<=x328));
  
      if (t71 != -1LL) { NG(); } else { ; }
  	
  }
  
  void f72(void) {
      	volatile int64_t x329 = 37234208LL;
  	static int64_t x330 = -64792861398646LL;
  	int16_t x331 = INT16_MAX;
  	static int32_t x332 = INT32_MAX;
  
      t72 = (x329*((x330-x331)<=x332));
  
      if (t72 != 37234208LL) { NG(); } else { ; }
  	
  }
  
  void f73(void) {
      	static int8_t x333 = -1;
  	int64_t x335 = -1LL;
  	uint16_t x336 = 43U;
  
      t73 = (x333*((x334-x335)<=x336));
  
      if (t73 != -1) { NG(); } else { ; }
  	
  }
  
  void f74(void) {
      	int64_t x337 = -11673647578763LL;
  	uint8_t x338 = UINT8_MAX;
  	int8_t x339 = -1;
  	int64_t t74 = -92LL;
  
      t74 = (x337*((x338-x339)<=x340));
  
      if (t74 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f75(void) {
      	int64_t x341 = -68368LL;
  	uint64_t x342 = 752688740540601593LLU;
  	int64_t x343 = INT64_MAX;
  	static uint16_t x344 = 4052U;
  	volatile int64_t t75 = -2257470LL;
  
      t75 = (x341*((x342-x343)<=x344));
  
      if (t75 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f76(void) {
      	int16_t x345 = 126;
  	static int8_t x346 = 1;
  	int32_t x347 = -1;
  	int8_t x348 = 2;
  	int32_t t76 = 1;
  
      t76 = (x345*((x346-x347)<=x348));
  
      if (t76 != 126) { NG(); } else { ; }
  	
  }
  
  void f77(void) {
      	volatile int8_t x349 = INT8_MAX;
  	uint64_t x350 = 31LLU;
  	int32_t x351 = -1;
  	uint16_t x352 = UINT16_MAX;
  	volatile int32_t t77 = 0;
  
      t77 = (x349*((x350-x351)<=x352));
  
      if (t77 != 127) { NG(); } else { ; }
  	
  }
  
  void f78(void) {
      	static int8_t x353 = -1;
  	volatile uint16_t x354 = 1552U;
  	uint8_t x355 = UINT8_MAX;
  	uint32_t x356 = UINT32_MAX;
  	volatile int32_t t78 = -6784301;
  
      t78 = (x353*((x354-x355)<=x356));
  
      if (t78 != -1) { NG(); } else { ; }
  	
  }
  
  void f79(void) {
      	uint32_t x357 = 8381150U;
  	static int16_t x358 = INT16_MAX;
  	uint64_t x359 = 50489078742243LLU;
  	uint32_t x360 = UINT32_MAX;
  	uint32_t t79 = 17U;
  
      t79 = (x357*((x358-x359)<=x360));
  
      if (t79 != 0U) { NG(); } else { ; }
  	
  }
  
  void f80(void) {
      	int64_t x361 = INT64_MIN;
  	static uint16_t x362 = 329U;
  	int64_t x363 = -1LL;
  	int64_t x364 = INT64_MIN;
  	volatile int64_t t80 = -2052328118872461354LL;
  
      t80 = (x361*((x362-x363)<=x364));
  
      if (t80 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f81(void) {
      	uint16_t x365 = 20U;
  	uint32_t x366 = 85434376U;
  	int32_t x367 = INT32_MIN;
  	int32_t t81 = -5;
  
      t81 = (x365*((x366-x367)<=x368));
  
      if (t81 != 0) { NG(); } else { ; }
  	
  }
  
  void f82(void) {
      	int16_t x369 = -15785;
  	int32_t x372 = 60;
  
      t82 = (x369*((x370-x371)<=x372));
  
      if (t82 != 0) { NG(); } else { ; }
  	
  }
  
  void f83(void) {
      	volatile int64_t x373 = 13992LL;
  	static volatile uint64_t x374 = 543164LLU;
  	volatile uint32_t x375 = 15150403U;
  	volatile int64_t t83 = -123085874608LL;
  
      t83 = (x373*((x374-x375)<=x376));
  
      if (t83 != 13992LL) { NG(); } else { ; }
  	
  }
  
  void f84(void) {
      	int8_t x377 = INT8_MIN;
  	int8_t x378 = INT8_MAX;
  	static int16_t x379 = INT16_MAX;
  	int32_t x380 = INT32_MIN;
  	static int32_t t84 = -134796;
  
      t84 = (x377*((x378-x379)<=x380));
  
      if (t84 != 0) { NG(); } else { ; }
  	
  }
  
  void f85(void) {
      	int8_t x381 = -4;
  	int8_t x382 = INT8_MIN;
  	uint8_t x383 = UINT8_MAX;
  	int32_t t85 = 467;
  
      t85 = (x381*((x382-x383)<=x384));
  
      if (t85 != -4) { NG(); } else { ; }
  	
  }
  
  void f86(void) {
      	static volatile int64_t x385 = INT64_MIN;
  	int16_t x386 = 0;
  	uint8_t x387 = 6U;
  	int32_t x388 = INT32_MAX;
  	static int64_t t86 = INT64_MIN;
  
      t86 = (x385*((x386-x387)<=x388));
  
      if (t86 != INT64_MIN) { NG(); } else { ; }
  	
  }
  
  void f87(void) {
      	static volatile uint32_t x389 = UINT32_MAX;
  	volatile int64_t x390 = INT64_MIN;
  	int64_t x391 = -1LL;
  	volatile uint32_t t87 = UINT32_MAX;
  
      t87 = (x389*((x390-x391)<=x392));
  
      if (t87 != UINT32_MAX) { NG(); } else { ; }
  	
  }
  
  void f88(void) {
      	uint32_t x393 = UINT32_MAX;
  	uint16_t x394 = 0U;
  	int16_t x395 = INT16_MIN;
  	uint32_t t88 = 1U;
  
      t88 = (x393*((x394-x395)<=x396));
  
      if (t88 != 0U) { NG(); } else { ; }
  	
  }
  
  void f89(void) {
      	int32_t x397 = INT32_MIN;
  	uint64_t x398 = 190832998546LLU;
  	volatile int8_t x400 = -1;
  	int32_t t89 = INT32_MIN;
  
      t89 = (x397*((x398-x399)<=x400));
  
      if (t89 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f90(void) {
      	int32_t x402 = INT32_MIN;
  	int16_t x403 = INT16_MIN;
  	uint64_t x404 = 2LLU;
  	volatile int32_t t90 = 43;
  
      t90 = (x401*((x402-x403)<=x404));
  
      if (t90 != 0) { NG(); } else { ; }
  	
  }
  
  void f91(void) {
      	int8_t x409 = -1;
  	int16_t x411 = -10628;
  	int64_t x412 = -1449558LL;
  
      t91 = (x409*((x410-x411)<=x412));
  
      if (t91 != 0) { NG(); } else { ; }
  	
  }
  
  void f92(void) {
      	int64_t x417 = INT64_MIN;
  	int16_t x418 = INT16_MIN;
  	int8_t x419 = INT8_MIN;
  	int32_t x420 = INT32_MIN;
  	volatile int64_t t92 = 1843506021816385926LL;
  
      t92 = (x417*((x418-x419)<=x420));
  
      if (t92 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f93(void) {
      	static int16_t x421 = -2;
  	volatile uint8_t x422 = UINT8_MAX;
  	static volatile uint32_t x423 = 51538204U;
  	int64_t x424 = INT64_MAX;
  
      t93 = (x421*((x422-x423)<=x424));
  
      if (t93 != -2) { NG(); } else { ; }
  	
  }
  
  void f94(void) {
      	int16_t x425 = INT16_MIN;
  	static uint16_t x426 = UINT16_MAX;
  	static int32_t x427 = -1;
  	volatile int64_t x428 = INT64_MAX;
  	volatile int32_t t94 = 0;
  
      t94 = (x425*((x426-x427)<=x428));
  
      if (t94 != -32768) { NG(); } else { ; }
  	
  }
  
  void f95(void) {
      	volatile int32_t x429 = -24896292;
  	int64_t x430 = INT64_MIN;
  	static int64_t x431 = -1952LL;
  	static int32_t x432 = INT32_MIN;
  
      t95 = (x429*((x430-x431)<=x432));
  
      if (t95 != -24896292) { NG(); } else { ; }
  	
  }
  
  void f96(void) {
      	volatile int64_t x433 = -1LL;
  	uint8_t x435 = 53U;
  	uint32_t x436 = 995U;
  	static volatile int64_t t96 = 419469809097LL;
  
      t96 = (x433*((x434-x435)<=x436));
  
      if (t96 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f97(void) {
      	uint8_t x439 = 1U;
  	uint64_t x440 = 1241177LLU;
  	int32_t t97 = -13908065;
  
      t97 = (x437*((x438-x439)<=x440));
  
      if (t97 != -128) { NG(); } else { ; }
  	
  }
  
  void f98(void) {
      	volatile uint32_t x441 = 728U;
  	int16_t x442 = INT16_MIN;
  	int16_t x443 = -7;
  	static int32_t x444 = -1;
  	volatile uint32_t t98 = 2U;
  
      t98 = (x441*((x442-x443)<=x444));
  
      if (t98 != 728U) { NG(); } else { ; }
  	
  }
  
  void f99(void) {
      	int16_t x445 = INT16_MAX;
  	uint16_t x448 = 14660U;
  	int32_t t99 = -3377598;
  
      t99 = (x445*((x446-x447)<=x448));
  
      if (t99 != 0) { NG(); } else { ; }
  	
  }
  
  void f100(void) {
      	static uint64_t x450 = 68798LLU;
  	static int8_t x452 = -9;
  
      t100 = (x449*((x450-x451)<=x452));
  
      if (t100 != 28) { NG(); } else { ; }
  	
  }
  
  void f101(void) {
      	uint8_t x453 = 4U;
  	int16_t x454 = 14117;
  	volatile int16_t x455 = -1;
  	uint64_t x456 = UINT64_MAX;
  	volatile int32_t t101 = -2879;
  
      t101 = (x453*((x454-x455)<=x456));
  
      if (t101 != 4) { NG(); } else { ; }
  	
  }
  
  void f102(void) {
      	int8_t x459 = INT8_MIN;
  	int64_t x460 = INT64_MAX;
  
      t102 = (x457*((x458-x459)<=x460));
  
      if (t102 != UINT32_MAX) { NG(); } else { ; }
  	
  }
  
  void f103(void) {
      	int32_t x465 = -1;
  	uint32_t x466 = UINT32_MAX;
  	static uint16_t x467 = 1752U;
  	volatile int32_t x468 = -303;
  	static int32_t t103 = -1415209;
  
      t103 = (x465*((x466-x467)<=x468));
  
      if (t103 != -1) { NG(); } else { ; }
  	
  }
  
  void f104(void) {
      	int16_t x469 = INT16_MAX;
  	int32_t x470 = INT32_MIN;
  	static uint16_t x472 = 735U;
  	volatile int32_t t104 = 9842;
  
      t104 = (x469*((x470-x471)<=x472));
  
      if (t104 != 32767) { NG(); } else { ; }
  	
  }
  
  void f105(void) {
      	int8_t x473 = -1;
  	int32_t x476 = INT32_MIN;
  
      t105 = (x473*((x474-x475)<=x476));
  
      if (t105 != 0) { NG(); } else { ; }
  	
  }
  
  void f106(void) {
      	int16_t x478 = 7020;
  	static int16_t x479 = 45;
  	int16_t x480 = INT16_MIN;
  	volatile uint32_t t106 = 6502U;
  
      t106 = (x477*((x478-x479)<=x480));
  
      if (t106 != 0U) { NG(); } else { ; }
  	
  }
  
  void f107(void) {
      	int64_t x481 = INT64_MIN;
  	int64_t x482 = -262482269LL;
  	static volatile int64_t t107 = INT64_MIN;
  
      t107 = (x481*((x482-x483)<=x484));
  
      if (t107 != INT64_MIN) { NG(); } else { ; }
  	
  }
  
  void f108(void) {
      	static volatile int8_t x485 = INT8_MAX;
  	static int64_t x486 = -1LL;
  	uint64_t x488 = 12LLU;
  	int32_t t108 = -47649343;
  
      t108 = (x485*((x486-x487)<=x488));
  
      if (t108 != 0) { NG(); } else { ; }
  	
  }
  
  void f109(void) {
      	int8_t x489 = -1;
  	volatile int16_t x492 = INT16_MAX;
  	int32_t t109 = 12756668;
  
      t109 = (x489*((x490-x491)<=x492));
  
      if (t109 != -1) { NG(); } else { ; }
  	
  }
  
  void f110(void) {
      	uint32_t x493 = 26141064U;
  	int16_t x494 = INT16_MAX;
  	static int16_t x496 = INT16_MIN;
  	uint32_t t110 = 44U;
  
      t110 = (x493*((x494-x495)<=x496));
  
      if (t110 != 26141064U) { NG(); } else { ; }
  	
  }
  
  void f111(void) {
      	static volatile int8_t x497 = -1;
  	static int32_t x499 = -48527014;
  	int32_t x500 = INT32_MAX;
  	static int32_t t111 = -482;
  
      t111 = (x497*((x498-x499)<=x500));
  
      if (t111 != -1) { NG(); } else { ; }
  	
  }
  
  void f112(void) {
      	volatile int32_t x501 = 272544691;
  	uint32_t x502 = UINT32_MAX;
  	static int32_t x503 = INT32_MAX;
  	int32_t t112 = -3697042;
  
      t112 = (x501*((x502-x503)<=x504));
  
      if (t112 != 272544691) { NG(); } else { ; }
  	
  }
  
  void f113(void) {
      	int32_t x505 = INT32_MAX;
  	uint8_t x506 = 10U;
  	uint64_t x508 = UINT64_MAX;
  
      t113 = (x505*((x506-x507)<=x508));
  
      if (t113 != INT32_MAX) { NG(); } else { ; }
  	
  }
  
  void f114(void) {
      	volatile int16_t x509 = INT16_MIN;
  	volatile uint32_t x510 = UINT32_MAX;
  	uint64_t x511 = 103LLU;
  	int16_t x512 = 13480;
  	volatile int32_t t114 = 14081;
  
      t114 = (x509*((x510-x511)<=x512));
  
      if (t114 != 0) { NG(); } else { ; }
  	
  }
  
  void f115(void) {
      	static uint16_t x513 = 20138U;
  	int64_t x514 = INT64_MIN;
  	int16_t x515 = -275;
  
      t115 = (x513*((x514-x515)<=x516));
  
      if (t115 != 20138) { NG(); } else { ; }
  	
  }
  
  void f116(void) {
      	int32_t x517 = -1;
  	int8_t x519 = 21;
  	volatile uint32_t x520 = 292863679U;
  
      t116 = (x517*((x518-x519)<=x520));
  
      if (t116 != -1) { NG(); } else { ; }
  	
  }
  
  void f117(void) {
      	int64_t x521 = -1LL;
  	volatile int64_t x522 = -39LL;
  	int32_t x523 = -1;
  	uint16_t x524 = UINT16_MAX;
  	int64_t t117 = 3LL;
  
      t117 = (x521*((x522-x523)<=x524));
  
      if (t117 != -1LL) { NG(); } else { ; }
  	
  }
  
  void f118(void) {
      	volatile int32_t x525 = -1;
  	static int16_t x526 = INT16_MAX;
  	int8_t x527 = INT8_MAX;
  	static int64_t x528 = INT64_MAX;
  	int32_t t118 = -80476;
  
      t118 = (x525*((x526-x527)<=x528));
  
      if (t118 != -1) { NG(); } else { ; }
  	
  }
  
  void f119(void) {
      	uint64_t x529 = 1631346190664561972LLU;
  	volatile int64_t x530 = INT64_MAX;
  	int64_t x531 = INT64_MAX;
  	static volatile int64_t x532 = -192116423986LL;
  
      t119 = (x529*((x530-x531)<=x532));
  
      if (t119 != 0LLU) { NG(); } else { ; }
  	
  }
  
  void f120(void) {
      	uint64_t x538 = 88191182934179LLU;
  	int16_t x539 = INT16_MAX;
  	int16_t x540 = 8;
  	static int32_t t120 = 114;
  
      t120 = (x537*((x538-x539)<=x540));
  
      if (t120 != 0) { NG(); } else { ; }
  	
  }
  
  void f121(void) {
      	int64_t x541 = INT64_MAX;
  	int32_t x542 = INT32_MIN;
  	int8_t x543 = INT8_MIN;
  	int64_t t121 = INT64_MAX;
  
      t121 = (x541*((x542-x543)<=x544));
  
      if (t121 != INT64_MAX) { NG(); } else { ; }
  	
  }
  
  void f122(void) {
      	volatile int16_t x545 = INT16_MIN;
  	static int32_t x546 = 169457185;
  	int8_t x547 = -1;
  
      t122 = (x545*((x546-x547)<=x548));
  
      if (t122 != 0) { NG(); } else { ; }
  	
  }
  
  void f123(void) {
      	uint64_t x549 = 27120660LLU;
  	int16_t x550 = INT16_MIN;
  	int16_t x551 = 656;
  	int16_t x552 = INT16_MAX;
  	volatile uint64_t t123 = 281766961720893305LLU;
  
      t123 = (x549*((x550-x551)<=x552));
  
      if (t123 != 27120660LLU) { NG(); } else { ; }
  	
  }
  
  void f124(void) {
      	static volatile int64_t x557 = -1LL;
  	int8_t x559 = INT8_MIN;
  	uint8_t x560 = UINT8_MAX;
  	int64_t t124 = -394LL;
  
      t124 = (x557*((x558-x559)<=x560));
  
      if (t124 != -1LL) { NG(); } else { ; }
  	
  }
  
  void f125(void) {
      	int32_t x561 = -1;
  	int8_t x562 = 0;
  	static volatile int8_t x563 = -1;
  	uint32_t x564 = 50745U;
  	static int32_t t125 = 142045044;
  
      t125 = (x561*((x562-x563)<=x564));
  
      if (t125 != -1) { NG(); } else { ; }
  	
  }
  
  void f126(void) {
      	uint64_t x565 = 23475996856506LLU;
  	static int32_t x566 = -1;
  	volatile uint16_t x567 = 2U;
  	volatile uint64_t x568 = UINT64_MAX;
  
      t126 = (x565*((x566-x567)<=x568));
  
      if (t126 != 23475996856506LLU) { NG(); } else { ; }
  	
  }
  
  void f127(void) {
      	int16_t x569 = 6;
  	int64_t x570 = 1LL;
  	static volatile int16_t x571 = -4;
  	int8_t x572 = 1;
  	volatile int32_t t127 = -8369;
  
      t127 = (x569*((x570-x571)<=x572));
  
      if (t127 != 0) { NG(); } else { ; }
  	
  }
  
  void f128(void) {
      	int8_t x575 = INT8_MIN;
  	int32_t x576 = 3;
  	uint64_t t128 = 9157868539516LLU;
  
      t128 = (x573*((x574-x575)<=x576));
  
      if (t128 != 87LLU) { NG(); } else { ; }
  	
  }
  
  void f129(void) {
      	volatile int8_t x577 = INT8_MAX;
  	static int16_t x578 = INT16_MIN;
  	uint16_t x580 = 150U;
  	volatile int32_t t129 = -68055875;
  
      t129 = (x577*((x578-x579)<=x580));
  
      if (t129 != 127) { NG(); } else { ; }
  	
  }
  
  void f130(void) {
      	static int16_t x581 = INT16_MAX;
  	static volatile uint8_t x583 = 1U;
  	static int32_t t130 = -1;
  
      t130 = (x581*((x582-x583)<=x584));
  
      if (t130 != 32767) { NG(); } else { ; }
  	
  }
  
  void f131(void) {
      	static int16_t x585 = INT16_MIN;
  	static volatile uint8_t x587 = 0U;
  	volatile int8_t x588 = 2;
  	static volatile int32_t t131 = -10469;
  
      t131 = (x585*((x586-x587)<=x588));
  
      if (t131 != 0) { NG(); } else { ; }
  	
  }
  
  void f132(void) {
      	uint64_t x589 = 8747260LLU;
  	volatile uint64_t x590 = 3663749728997LLU;
  	volatile uint8_t x591 = UINT8_MAX;
  	static uint64_t t132 = 337965416LLU;
  
      t132 = (x589*((x590-x591)<=x592));
  
      if (t132 != 0LLU) { NG(); } else { ; }
  	
  }
  
  void f133(void) {
      	int32_t x593 = INT32_MIN;
  	uint64_t x594 = 854433802176062735LLU;
  	uint16_t x595 = UINT16_MAX;
  	volatile int16_t x596 = INT16_MIN;
  	int32_t t133 = INT32_MIN;
  
      t133 = (x593*((x594-x595)<=x596));
  
      if (t133 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f134(void) {
      	volatile uint8_t x597 = 11U;
  	int32_t x598 = INT32_MIN;
  	static int8_t x600 = 14;
  
      t134 = (x597*((x598-x599)<=x600));
  
      if (t134 != 11) { NG(); } else { ; }
  	
  }
  
  void f135(void) {
      	int8_t x605 = -1;
  	int64_t x606 = INT64_MAX;
  	uint32_t x607 = 1367361U;
  	int8_t x608 = INT8_MAX;
  
      t135 = (x605*((x606-x607)<=x608));
  
      if (t135 != 0) { NG(); } else { ; }
  	
  }
  
  void f136(void) {
      	static volatile int16_t x613 = -1;
  	uint16_t x616 = UINT16_MAX;
  	volatile int32_t t136 = 755599613;
  
      t136 = (x613*((x614-x615)<=x616));
  
      if (t136 != -1) { NG(); } else { ; }
  	
  }
  
  void f137(void) {
      	int64_t x617 = 124508769664041886LL;
  	uint8_t x620 = UINT8_MAX;
  	volatile int64_t t137 = 3556479318085LL;
  
      t137 = (x617*((x618-x619)<=x620));
  
      if (t137 != 124508769664041886LL) { NG(); } else { ; }
  	
  }
  
  void f138(void) {
      	volatile int8_t x621 = -1;
  	static int16_t x622 = 1;
  	volatile uint8_t x623 = 119U;
  	uint8_t x624 = UINT8_MAX;
  	volatile int32_t t138 = 14194;
  
      t138 = (x621*((x622-x623)<=x624));
  
      if (t138 != -1) { NG(); } else { ; }
  	
  }
  
  void f139(void) {
      	int8_t x625 = INT8_MIN;
  	static int8_t x626 = INT8_MAX;
  	uint16_t x627 = UINT16_MAX;
  	uint8_t x628 = UINT8_MAX;
  	volatile int32_t t139 = 617;
  
      t139 = (x625*((x626-x627)<=x628));
  
      if (t139 != -128) { NG(); } else { ; }
  	
  }
  
  void f140(void) {
      	int64_t x630 = -7428281596652203LL;
  	static uint16_t x631 = UINT16_MAX;
  	int32_t t140 = -1630;
  
      t140 = (x629*((x630-x631)<=x632));
  
      if (t140 != 6) { NG(); } else { ; }
  	
  }
  
  void f141(void) {
      	int8_t x633 = INT8_MIN;
  	int8_t x635 = -2;
  	static int32_t t141 = 3;
  
      t141 = (x633*((x634-x635)<=x636));
  
      if (t141 != -128) { NG(); } else { ; }
  	
  }
  
  void f142(void) {
      	uint32_t x637 = 1034943U;
  	uint32_t x638 = UINT32_MAX;
  	int16_t x639 = 153;
  	int8_t x640 = 3;
  
      t142 = (x637*((x638-x639)<=x640));
  
      if (t142 != 0U) { NG(); } else { ; }
  	
  }
  
  void f143(void) {
      	int64_t x646 = -1LL;
  	int32_t x647 = INT32_MIN;
  	int8_t x648 = INT8_MAX;
  	int32_t t143 = 1;
  
      t143 = (x645*((x646-x647)<=x648));
  
      if (t143 != 0) { NG(); } else { ; }
  	
  }
  
  void f144(void) {
      	uint64_t x649 = 4756228LLU;
  	uint32_t x650 = 51U;
  	volatile uint64_t t144 = 121040939101LLU;
  
      t144 = (x649*((x650-x651)<=x652));
  
      if (t144 != 0LLU) { NG(); } else { ; }
  	
  }
  
  void f145(void) {
      	int64_t x653 = -217193532LL;
  	volatile int64_t x654 = 123099LL;
  	uint64_t x656 = 13599763773949LLU;
  	volatile int64_t t145 = -1LL;
  
      t145 = (x653*((x654-x655)<=x656));
  
      if (t145 != -217193532LL) { NG(); } else { ; }
  	
  }
  
  void f146(void) {
      	int16_t x662 = -1;
  	int64_t x663 = INT64_MIN;
  	uint64_t x664 = UINT64_MAX;
  	volatile int32_t t146 = INT32_MAX;
  
      t146 = (x661*((x662-x663)<=x664));
  
      if (t146 != INT32_MAX) { NG(); } else { ; }
  	
  }
  
  void f147(void) {
      	int32_t x665 = INT32_MIN;
  	int32_t x667 = -1;
  	int16_t x668 = INT16_MIN;
  	static int32_t t147 = INT32_MIN;
  
      t147 = (x665*((x666-x667)<=x668));
  
      if (t147 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f148(void) {
      	int16_t x669 = INT16_MIN;
  	uint64_t x670 = 4224202534619926LLU;
  	static int32_t x671 = INT32_MIN;
  	static uint8_t x672 = UINT8_MAX;
  	int32_t t148 = -1489292;
  
      t148 = (x669*((x670-x671)<=x672));
  
      if (t148 != 0) { NG(); } else { ; }
  	
  }
  
  void f149(void) {
      	int16_t x673 = 196;
  	volatile int16_t x675 = -1;
  	volatile uint32_t x676 = UINT32_MAX;
  	volatile int32_t t149 = -5961773;
  
      t149 = (x673*((x674-x675)<=x676));
  
      if (t149 != 196) { NG(); } else { ; }
  	
  }
  
  void f150(void) {
      	static int32_t x677 = INT32_MIN;
  	static int32_t x678 = 50180;
  	uint16_t x679 = 118U;
  	uint16_t x680 = UINT16_MAX;
  	volatile int32_t t150 = INT32_MIN;
  
      t150 = (x677*((x678-x679)<=x680));
  
      if (t150 != INT32_MIN) { NG(); } else { ; }
  	
  }
  
  void f151(void) {
      	volatile int8_t x681 = INT8_MIN;
  	int32_t x682 = INT32_MIN;
  	static int8_t x683 = -1;
  	int32_t t151 = 16176;
  
      t151 = (x681*((x682-x683)<=x684));
  
      if (t151 != 0) { NG(); } else { ; }
  	
  }
  
  void f152(void) {
      	int8_t x686 = -1;
  	int32_t x687 = INT32_MIN;
  	uint32_t x688 = 1U;
  	static volatile int64_t t152 = 305473LL;
  
      t152 = (x685*((x686-x687)<=x688));
  
      if (t152 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f153(void) {
      	uint16_t x689 = 3331U;
  	int64_t x690 = -19069LL;
  	uint16_t x691 = UINT16_MAX;
  	volatile int64_t x692 = INT64_MAX;
  	int32_t t153 = 644;
  
      t153 = (x689*((x690-x691)<=x692));
  
      if (t153 != 3331) { NG(); } else { ; }
  	
  }
  
  void f154(void) {
      	uint32_t x693 = 98388146U;
  	static int64_t x694 = -1LL;
  	uint64_t x695 = 115180034LLU;
  	volatile int64_t x696 = INT64_MIN;
  
      t154 = (x693*((x694-x695)<=x696));
  
      if (t154 != 0U) { NG(); } else { ; }
  	
  }
  
  void f155(void) {
      	int64_t x697 = INT64_MAX;
  	uint32_t x698 = UINT32_MAX;
  	int32_t x699 = 736125318;
  	int8_t x700 = -13;
  	volatile int64_t t155 = INT64_MAX;
  
      t155 = (x697*((x698-x699)<=x700));
  
      if (t155 != INT64_MAX) { NG(); } else { ; }
  	
  }
  
  void f156(void) {
      	int64_t x702 = INT64_MAX;
  	static int16_t x703 = 0;
  
      t156 = (x701*((x702-x703)<=x704));
  
      if (t156 != 0) { NG(); } else { ; }
  	
  }
  
  void f157(void) {
      	uint16_t x707 = UINT16_MAX;
  	static int32_t t157 = -69972;
  
      t157 = (x705*((x706-x707)<=x708));
  
      if (t157 != 127) { NG(); } else { ; }
  	
  }
  
  void f158(void) {
      	volatile uint16_t x713 = 114U;
  	uint64_t x715 = 5414044697824088825LLU;
  	volatile int16_t x716 = INT16_MIN;
  	int32_t t158 = -2478938;
  
      t158 = (x713*((x714-x715)<=x716));
  
      if (t158 != 114) { NG(); } else { ; }
  	
  }
  
  void f159(void) {
      	int8_t x717 = INT8_MIN;
  	static int64_t x718 = -1LL;
  	int8_t x719 = -1;
  	int64_t x720 = INT64_MIN;
  	volatile int32_t t159 = -1;
  
      t159 = (x717*((x718-x719)<=x720));
  
      if (t159 != 0) { NG(); } else { ; }
  	
  }
  
  void f160(void) {
      	static uint32_t x723 = 7U;
  	static volatile int64_t x724 = INT64_MAX;
  	uint64_t t160 = 6423048716727LLU;
  
      t160 = (x721*((x722-x723)<=x724));
  
      if (t160 != 2414506LLU) { NG(); } else { ; }
  	
  }
  
  void f161(void) {
      	int64_t x727 = 88LL;
  	volatile int8_t x728 = 29;
  
      t161 = (x725*((x726-x727)<=x728));
  
      if (t161 != 255) { NG(); } else { ; }
  	
  }
  
  void f162(void) {
      	int32_t x729 = INT32_MAX;
  	uint32_t x730 = 1U;
  	int32_t x731 = INT32_MAX;
  	int8_t x732 = INT8_MIN;
  	volatile int32_t t162 = INT32_MAX;
  
      t162 = (x729*((x730-x731)<=x732));
  
      if (t162 != INT32_MAX) { NG(); } else { ; }
  	
  }
  
  void f163(void) {
      	uint64_t x733 = 62316306LLU;
  	volatile uint8_t x734 = UINT8_MAX;
  	static int16_t x736 = INT16_MIN;
  	volatile uint64_t t163 = 15296671194040LLU;
  
      t163 = (x733*((x734-x735)<=x736));
  
      if (t163 != 0LLU) { NG(); } else { ; }
  	
  }
  
  void f164(void) {
      	int64_t x741 = -1LL;
  	int32_t x742 = INT32_MAX;
  	uint32_t x743 = 287754U;
  	int16_t x744 = INT16_MIN;
  
      t164 = (x741*((x742-x743)<=x744));
  
      if (t164 != -1LL) { NG(); } else { ; }
  	
  }
  
  void f165(void) {
      	int64_t x745 = -1LL;
  	uint64_t x746 = UINT64_MAX;
  	int16_t x747 = INT16_MIN;
  	static int32_t x748 = INT32_MAX;
  	volatile int64_t t165 = 62315LL;
  
      t165 = (x745*((x746-x747)<=x748));
  
      if (t165 != -1LL) { NG(); } else { ; }
  	
  }
  
  void f166(void) {
      	static int32_t x750 = INT32_MIN;
  	static int64_t x751 = -1LL;
  	uint32_t x752 = 160490U;
  
      t166 = (x749*((x750-x751)<=x752));
  
      if (t166 != 1591LLU) { NG(); } else { ; }
  	
  }
  
  void f167(void) {
      	static volatile int8_t x753 = 58;
  	int8_t x754 = -26;
  	static int32_t x755 = 623;
  	static int8_t x756 = 2;
  	int32_t t167 = 15;
  
      t167 = (x753*((x754-x755)<=x756));
  
      if (t167 != 58) { NG(); } else { ; }
  	
  }
  
  void f168(void) {
      	static volatile int64_t x757 = INT64_MAX;
  	int16_t x758 = INT16_MIN;
  	static uint64_t x759 = UINT64_MAX;
  	int16_t x760 = INT16_MIN;
  	int64_t t168 = 18970939110LL;
  
      t168 = (x757*((x758-x759)<=x760));
  
      if (t168 != 0LL) { NG(); } else { ; }
  	
  }
  
  void f169(void) {
      	uint32_t x762 = UINT32_MAX;
  	uint16_t x763 = 13982U;
  	int16_t x764 = INT16_MIN;
  
      t169 = (x761*((x762-x763)<=x764));
  
      if (t169 != 0) { NG(); } else { ; }
  	
  }
  
  void f170(void) {
      	volatile int64_t x765 = INT64_MAX;
  	volatile int16_t x767 = INT16_MIN;
  	int64_t t170 = INT64_MAX;
  
      t170 = (x765*((x766-x767)<=x768));
  
      if (t170 != INT64_MAX) { NG(); } else { ; }
  	
  }
  
  void f171(void) {
      	int8_t x769 = -1;
  
      t171 = (x769*((x770-x771)<=x772));
  
      if (t171 != -1) { NG(); } else { ; }
  	
  }
  
  void f172(void) {
      	int32_t x774 = 32;
  	uint16_t x775 = 15573U;
  	static int32_t x776 = INT32_MIN;
  	int32_t t172 = 76410130;
  
      t172 = (x773*((x774-x775)<=x776));
  
      if (t172 != 0) { NG(); } else { ; }
  	
  }
  
  void f173(void) {
      	int16_t x777 = INT16_MIN;
  	int64_t x778 = INT64_MIN;
  	int8_t x779 = 0;
  	uint16_t x780 = 31U;
  	volatile int32_t t173 = -3690;
  
      t173 = (x777*((x778-x779)<=x780));
  
      if (t173 != -32768) { NG(); } else { ; }
  	
  }
  
  void f174(void) {
      	int64_t x785 = 238472924LL;
  	uint32_t x786 = 968664402U;
  	static uint32_t x787 = 3076255U;
  
      t174 = (x785*((x786-x787)<=x788));
  
      if (t174 != 238472924LL) { NG(); } else { ; }
  	
  }
  
  void f175(void) {
      	int64_t x790 = -9581221630025458LL;
  	static uint16_t x791 = 377U;
  	int64_t x792 = 14199094095141LL;
  	int32_t t175 = 624803063;
  
      t175 = (x789*((x790-x791)<=x792));
  
      if (t175 != 246) { NG(); } else { ; }
  	
  }
  
  void f176(void) {
      	uint8_t x797 = 37U;
  	volatile int8_t x798 = 40;
  	uint8_t x799 = 0U;
  	uint16_t x800 = UINT16_MAX;
  	volatile int32_t t176 = 511;
  
      t176 = (x797*((x798-x799)<=x800));
  
      if (t176 != 37) { NG(); } else { ; }
  	
  }
  
  void f177(void) {
      	volatile uint8_t x801 = 2U;
  	volatile uint64_t x803 = UINT64_MAX;
  	static uint64_t x804 = UINT64_MAX;
  	volatile int32_t t177 = 2245328;
  
      t177 = (x801*((x802-x803)<=x804));
  
      if (t177 != 2) { NG(); } else { ; }
  	
  }
  
  void f178(void) {
      	uint64_t x805 = 457LLU;
  	static int64_t x807 = -1LL;
  	int16_t x808 = INT16_MAX;
  	static volatile uint64_t t178 = 7671402449LLU;
  
      t178 = (x805*((x806-x807)<=x808));
  
      if (t178 != 457LLU) { NG(); } else { ; }
  	
  }
  
  void f179(void) {
      	int16_t x809 = INT16_MAX;
  	static int8_t x811 = -1;
  	static volatile int32_t t179 = 220;
  
      t179 = (x809*((x810-x811)<=x812));
  
      if (t179 != 32767) { NG(); } else { ; }
  	
  }
  
  void f180(void) {
      	int8_t x813 = INT8_MIN;
  	static uint64_t x815 = UINT64_MAX;
  	static int32_t t180 = 533;
  
      t180 = (x813*((x814-x815)<=x816));
  
      if (t180 != -128) { NG(); } else { ; }
  	
  }
  
  void f181(void) {
      	int8_t x817 = INT8_MIN;
  	int8_t x818 = INT8_MIN;
  	volatile int16_t x819 = -4;
  	int8_t x820 = -1;
  	int32_t t181 = 1;
  
      t181 = (x817*((x818-x819)<=x820));
  
      if (t181 != -128) { NG(); } else { ; }
  	
  }
  
  void f182(void) {
      	static int8_t x821 = INT8_MIN;
  	static int16_t x822 = -1;
  	static int16_t x823 = INT16_MAX;
  	int32_t x824 = INT32_MIN;
  	static volatile int32_t t182 = -1;
  
      t182 = (x821*((x822-x823)<=x824));
  
      if (t182 != 0) { NG(); } else { ; }
  	
  }
  
  void f183(void) {
      	int16_t x825 = INT16_MAX;
  	int32_t x826 = -1;
  	volatile uint8_t x827 = UINT8_MAX;
  	volatile uint16_t x828 = 6125U;
  	static int32_t t183 = 6;
  
      t183 = (x825*((x826-x827)<=x828));
  
      if (t183 != 32767) { NG(); } else { ; }
  	
  }
  
  void f184(void) {
      	volatile uint8_t x829 = 1U;
  	int32_t x830 = 117;
  	int32_t x831 = INT32_MAX;
  	uint32_t x832 = 918917U;
  	static volatile int32_t t184 = 0;
  
      t184 = (x829*((x830-x831)<=x832));
  
      if (t184 != 0) { NG(); } else { ; }
  	
  }
  
  void f185(void) {
      	volatile int16_t x833 = INT16_MAX;
  	volatile int8_t x834 = -1;
  	int8_t x835 = INT8_MIN;
  	static int16_t x836 = 1224;
  	int32_t t185 = 584;
  
      t185 = (x833*((x834-x835)<=x836));
  
      if (t185 != 32767) { NG(); } else { ; }
  	
  }
  
  void f186(void) {
      	int64_t x837 = -777LL;
  	static volatile int16_t x838 = INT16_MIN;
  	static int32_t x839 = -1;
  	int8_t x840 = 1;
  	volatile int64_t t186 = 434385944LL;
  
      t186 = (x837*((x838-x839)<=x840));
  
      if (t186 != -777LL) { NG(); } else { ; }
  	
  }
  
  void f187(void) {
      	static uint16_t x845 = 508U;
  	int64_t x846 = -1LL;
  	int16_t x847 = INT16_MIN;
  	int32_t x848 = INT32_MIN;
  	volatile int32_t t187 = 0;
  
      t187 = (x845*((x846-x847)<=x848));
  
      if (t187 != 0) { NG(); } else { ; }
  	
  }
  
  void f188(void) {
      	uint64_t x853 = 1168464LLU;
  	static int16_t x854 = INT16_MIN;
  	uint8_t x855 = 0U;
  	uint16_t x856 = 0U;
  	uint64_t t188 = 28356213317LLU;
  
      t188 = (x853*((x854-x855)<=x856));
  
      if (t188 != 1168464LLU) { NG(); } else { ; }
  	
  }
  
  void f189(void) {
      	int64_t x857 = INT64_MAX;
  	int16_t x858 = 1;
  	int16_t x859 = -1;
  	int64_t x860 = INT64_MAX;
  	volatile int64_t t189 = INT64_MAX;
  
      t189 = (x857*((x858-x859)<=x860));
  
      if (t189 != INT64_MAX) { NG(); } else { ; }
  	
  }
  
  void f190(void) {
      	uint8_t x861 = 12U;
  	volatile int8_t x862 = INT8_MAX;
  	uint64_t x864 = 16441294102747271LLU;
  	int32_t t190 = 61022;
  
      t190 = (x861*((x862-x863)<=x864));
  
      if (t190 != 0) { NG(); } else { ; }
  	
  }
  
  void f191(void) {
      	int16_t x865 = 4;
  	volatile uint16_t x866 = 1U;
  	int8_t x867 = INT8_MIN;
  	int32_t t191 = -2048164;
  
      t191 = (x865*((x866-x867)<=x868));
  
      if (t191 != 0) { NG(); } else { ; }
  	
  }
  
  void f192(void) {
      	int32_t x869 = INT32_MIN;
  	int8_t x870 = INT8_MIN;
  	uint8_t x871 = 13U;
  	int32_t x872 = INT32_MIN;
  	static int32_t t192 = 1;
  
      t192 = (x869*((x870-x871)<=x872));
  
      if (t192 != 0) { NG(); } else { ; }
  	
  }
  
  void f193(void) {
      	int64_t x874 = INT64_MIN;
  	volatile int32_t x875 = INT32_MIN;
  	volatile uint8_t x876 = 3U;
  	static volatile int32_t t193 = 3;
  
      t193 = (x873*((x874-x875)<=x876));
  
      if (t193 != -32768) { NG(); } else { ; }
  	
  }
  
  void f194(void) {
      	uint8_t x877 = 13U;
  	uint64_t x878 = 125567260339997357LLU;
  	volatile int32_t t194 = 15;
  
      t194 = (x877*((x878-x879)<=x880));
  
      if (t194 != 13) { NG(); } else { ; }
  	
  }
  
  void f195(void) {
      	int16_t x881 = 10440;
  	uint64_t x882 = 964531LLU;
  	volatile int32_t x883 = INT32_MIN;
  
      t195 = (x881*((x882-x883)<=x884));
  
      if (t195 != 10440) { NG(); } else { ; }
  	
  }
  
  void f196(void) {
      	volatile int32_t x885 = INT32_MIN;
  	static uint32_t x886 = UINT32_MAX;
  	int64_t x887 = -16214992573745202LL;
  	volatile uint64_t x888 = 23929473605641LLU;
  	static volatile int32_t t196 = -15;
  
      t196 = (x885*((x886-x887)<=x888));
  
      if (t196 != 0) { NG(); } else { ; }
  	
  }
  
  void f197(void) {
      	static volatile int64_t x893 = -17429919688LL;
  	int64_t x894 = -1LL;
  	int16_t x895 = INT16_MIN;
  	static int64_t x896 = 707911LL;
  	int64_t t197 = 1524708038255LL;
  
      t197 = (x893*((x894-x895)<=x896));
  
      if (t197 != -17429919688LL) { NG(); } else { ; }
  	
  }
  
  void f198(void) {
      	int8_t x897 = -1;
  	volatile int16_t x898 = -1;
  	volatile int32_t x899 = 29;
  	int32_t t198 = -4;
  
      t198 = (x897*((x898-x899)<=x900));
  
      if (t198 != -1) { NG(); } else { ; }
  	
  }
  
  void f199(void) {
      	int64_t x901 = -17043446LL;
  	int16_t x902 = -1;
  	uint8_t x903 = UINT8_MAX;
  	volatile int16_t x904 = -1;
  
      t199 = (x901*((x902-x903)<=x904));
  
      if (t199 != -17043446LL) { NG(); } else { ; }
  	
  }
  
  int main(void) {
          f0();
      f1();
      f2();
      f3();
      f4();
      f5();
      f6();
      f7();
      f8();
      f9();
      f10();
      f11();
      f12();
      f13();
      f14();
      f15();
      f16();
      f17();
      f18();
      f19();
      f20();
      f21();
      f22();
      f23();
      f24();
      f25();
      f26();
      f27();
      f28();
      f29();
      f30();
      f31();
      f32();
      f33();
      f34();
      f35();
      f36();
      f37();
      f38();
      f39();
      f40();
      f41();
      f42();
      f43();
      f44();
      f45();
      f46();
      f47();
      f48();
      f49();
      f50();
      f51();
      f52();
      f53();
      f54();
      f55();
      f56();
      f57();
      f58();
      f59();
      f60();
      f61();
      f62();
      f63();
      f64();
      f65();
      f66();
      f67();
      f68();
      f69();
      f70();
      f71();
      f72();
      f73();
      f74();
      f75();
      f76();
      f77();
      f78();
      f79();
      f80();
      f81();
      f82();
      f83();
      f84();
      f85();
      f86();
      f87();
      f88();
      f89();
      f90();
      f91();
      f92();
      f93();
      f94();
      f95();
      f96();
      f97();
      f98();
      f99();
      f100();
      f101();
      f102();
      f103();
      f104();
      f105();
      f106();
      f107();
      f108();
      f109();
      f110();
      f111();
      f112();
      f113();
      f114();
      f115();
      f116();
      f117();
      f118();
      f119();
      f120();
      f121();
      f122();
      f123();
      f124();
      f125();
      f126();
      f127();
      f128();
      f129();
      f130();
      f131();
      f132();
      f133();
      f134();
      f135();
      f136();
      f137();
      f138();
      f139();
      f140();
      f141();
      f142();
      f143();
      f144();
      f145();
      f146();
      f147();
      f148();
      f149();
      f150();
      f151();
      f152();
      f153();
      f154();
      f155();
      f156();
      f157();
      f158();
      f159();
      f160();
      f161();
      f162();
      f163();
      f164();
      f165();
      f166();
      f167();
      f168();
      f169();
      f170();
      f171();
      f172();
      f173();
      f174();
      f175();
      f176();
      f177();
      f178();
      f179();
      f180();
      f181();
      f182();
      f183();
      f184();
      f185();
      f186();
      f187();
      f188();
      f189();
      f190();
      f191();
      f192();
      f193();
      f194();
      f195();
      f196();
      f197();
      f198();
      f199();
  
  
      return 0;
  }
  
  