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"
  
  volatile uint64_t t0 = 95LLU;
  int64_t x24 = -1LL;
  int16_t x32 = INT16_MIN;
  int8_t x55 = INT8_MAX;
  volatile int32_t t9 = 0;
  int8_t x64 = INT8_MIN;
  uint8_t x67 = 7U;
  uint32_t x68 = UINT32_MAX;
  uint64_t x84 = UINT64_MAX;
  int64_t x91 = INT64_MAX;
  int32_t x101 = -1;
  volatile int16_t x118 = INT16_MIN;
  int16_t x123 = -1;
  uint32_t t23 = 221U;
  static uint64_t x131 = UINT64_MAX;
  static volatile uint32_t x132 = UINT32_MAX;
  static int8_t x133 = 0;
  int16_t x139 = 1;
  static volatile int32_t x149 = 12824537;
  uint8_t x150 = 3U;
  static int16_t x151 = INT16_MIN;
  int64_t x154 = INT64_MIN;
  int64_t x156 = INT64_MIN;
  uint16_t x160 = 15U;
  uint8_t x162 = 2U;
  static volatile uint64_t x164 = 51147787071033595LLU;
  int8_t x174 = INT8_MAX;
  int64_t t34 = 1035LL;
  volatile int8_t x181 = INT8_MIN;
  uint16_t x183 = 15340U;
  static volatile uint64_t t36 = 8009LLU;
  int64_t x194 = -35643715823LL;
  int8_t x195 = 1;
  static volatile uint64_t x196 = UINT64_MAX;
  volatile int64_t x205 = -1LL;
  int32_t x207 = INT32_MIN;
  volatile int64_t t41 = -1123531698098398LL;
  int16_t x217 = INT16_MIN;
  uint8_t x233 = 116U;
  uint16_t x256 = 19503U;
  int32_t x257 = 28426564;
  int8_t x260 = INT8_MIN;
  volatile int64_t t53 = 93LL;
  int16_t x270 = -1;
  uint16_t x279 = UINT16_MAX;
  int8_t x282 = 1;
  uint32_t x285 = UINT32_MAX;
  int8_t x293 = -2;
  volatile uint64_t x302 = UINT64_MAX;
  uint8_t x303 = 7U;
  int8_t x304 = INT8_MIN;
  int16_t x320 = 11;
  static int64_t x323 = 54239917462LL;
  static uint64_t t67 = 104512706533LLU;
  volatile int8_t x332 = 1;
  uint32_t x336 = 11285760U;
  volatile uint64_t x338 = 38161559059943149LLU;
  volatile uint8_t x353 = UINT8_MAX;
  int32_t x368 = INT32_MIN;
  uint32_t t76 = 0U;
  volatile int16_t x380 = -1211;
  volatile int8_t x383 = -1;
  volatile int64_t t79 = -3LL;
  int8_t x385 = INT8_MIN;
  static volatile int8_t x402 = INT8_MIN;
  int16_t x406 = INT16_MIN;
  static uint8_t x418 = 122U;
  int16_t x428 = INT16_MAX;
  volatile int32_t t87 = -237476963;
  volatile int16_t x433 = INT16_MIN;
  volatile int64_t t89 = 138502298660566608LL;
  static uint8_t x441 = 76U;
  int8_t x449 = INT8_MIN;
  int16_t x450 = -1;
  volatile uint32_t t92 = 65U;
  static int64_t t96 = -32339LL;
  volatile uint64_t x478 = 7757278LLU;
  volatile uint64_t x479 = 67919301661LLU;
  int32_t x482 = -5;
  static int64_t x488 = -1LL;
  static uint64_t x489 = 7146LLU;
  uint32_t x491 = UINT32_MAX;
  uint32_t x495 = 204U;
  int16_t x496 = -1;
  volatile int32_t x503 = -1;
  int16_t x509 = INT16_MAX;
  volatile uint64_t t105 = 6697407039693741532LLU;
  static int8_t x513 = 0;
  uint8_t x514 = 0U;
  uint32_t x519 = UINT32_MAX;
  int8_t x531 = 3;
  volatile int32_t x545 = -1;
  uint32_t x546 = UINT32_MAX;
  static volatile int8_t x547 = -13;
  int8_t x549 = -45;
  int32_t x552 = INT32_MAX;
  int8_t x558 = INT8_MIN;
  int64_t x559 = INT64_MAX;
  volatile int64_t t115 = -683538450996779409LL;
  static volatile int64_t t117 = 48278822007LL;
  static int16_t x575 = INT16_MIN;
  int64_t x580 = -1LL;
  int32_t x585 = INT32_MAX;
  static int64_t x594 = -19497150LL;
  int8_t x599 = INT8_MIN;
  uint32_t t123 = 2691U;
  int32_t x610 = INT32_MAX;
  static int64_t x612 = INT64_MIN;
  int16_t x613 = -6840;
  volatile int32_t t127 = -55747;
  int64_t x618 = INT64_MAX;
  int8_t x619 = -1;
  volatile int64_t t128 = 1465LL;
  uint64_t x624 = 3LLU;
  static int64_t x626 = INT64_MAX;
  static volatile int64_t t133 = 955492850627644599LL;
  int32_t x642 = -1;
  volatile int64_t x647 = INT64_MAX;
  static volatile uint8_t x649 = UINT8_MAX;
  volatile uint32_t x652 = UINT32_MAX;
  int8_t x670 = INT8_MAX;
  uint64_t x675 = 60LLU;
  volatile int16_t x681 = 59;
  static uint8_t x685 = UINT8_MAX;
  int16_t x686 = -1;
  uint16_t x687 = 28U;
  int32_t t145 = -81128896;
  int16_t x689 = 3052;
  static uint64_t x704 = UINT64_MAX;
  static uint64_t t149 = 5144772127512LLU;
  int32_t x705 = -1;
  int8_t x728 = -24;
  volatile uint64_t t156 = 3258979LLU;
  uint8_t x735 = 25U;
  static uint8_t x736 = 20U;
  volatile int8_t x741 = -61;
  volatile int32_t x742 = 184862;
  uint16_t x750 = 136U;
  int16_t x752 = -1970;
  volatile int64_t x754 = 1056145196895797574LL;
  uint16_t x765 = 0U;
  int64_t x774 = 5521094942LL;
  volatile uint64_t x776 = 10713517LLU;
  static volatile uint64_t t166 = 659044LLU;
  volatile uint64_t t167 = 6023468437642893LLU;
  int16_t x785 = 3;
  uint8_t x791 = 1U;
  static volatile int32_t x792 = 0;
  volatile int32_t t169 = -31813505;
  int32_t x797 = INT32_MIN;
  int8_t x803 = -1;
  int8_t x804 = INT8_MAX;
  int16_t x808 = -212;
  static int64_t x809 = -1LL;
  static int32_t x810 = -1;
  static int64_t x811 = INT64_MIN;
  volatile int32_t x817 = 1;
  int16_t x822 = 2;
  int64_t x825 = INT64_MIN;
  volatile int16_t x829 = INT16_MIN;
  volatile int64_t t179 = 109LL;
  static volatile uint8_t x834 = 66U;
  int16_t x845 = INT16_MIN;
  int32_t x846 = INT32_MIN;
  volatile int32_t t182 = 66454628;
  volatile uint16_t x850 = 1U;
  int32_t x855 = INT32_MIN;
  int64_t x866 = 45269092738LL;
  static int8_t x875 = INT8_MAX;
  volatile int64_t t188 = 219LL;
  uint8_t x887 = UINT8_MAX;
  uint32_t x888 = UINT32_MAX;
  int32_t x895 = INT32_MIN;
  volatile int8_t x900 = -45;
  static uint32_t x902 = 247228U;
  int8_t x910 = -1;
  volatile uint16_t x918 = UINT16_MAX;
  int16_t x924 = INT16_MAX;
  
  
  void f0(void) {
      	uint64_t x1 = UINT64_MAX;
  	int16_t x2 = 14525;
  	int32_t x3 = -1;
  	volatile int32_t x4 = -48;
  
      t0 = ((x1*(x2%x3))-x4);
  
      if (t0 != 48LLU) { NG(); } else { ; }
  	
  }
  
  void f1(void) {
      	static int32_t x9 = 2334681;
  	int64_t x10 = -1LL;
  	volatile int8_t x11 = -1;
  	uint16_t x12 = 11U;
  	volatile int64_t t1 = -12LL;
  
      t1 = ((x9*(x10%x11))-x12);
  
      if (t1 != -11LL) { NG(); } else { ; }
  	
  }
  
  void f2(void) {
      	volatile int16_t x13 = 2135;
  	int64_t x14 = -1LL;
  	int8_t x15 = 1;
  	uint32_t x16 = 6U;
  	int64_t t2 = 7994496876LL;
  
      t2 = ((x13*(x14%x15))-x16);
  
      if (t2 != -6LL) { NG(); } else { ; }
  	
  }
  
  void f3(void) {
      	uint32_t x21 = 1U;
  	int64_t x22 = -1LL;
  	int16_t x23 = -1;
  	volatile int64_t t3 = -1832118264432054210LL;
  
      t3 = ((x21*(x22%x23))-x24);
  
      if (t3 != 1LL) { NG(); } else { ; }
  	
  }
  
  void f4(void) {
      	uint64_t x29 = 953844617159325748LLU;
  	static uint32_t x30 = 124625312U;
  	int16_t x31 = -1;
  	static volatile uint64_t t4 = 3106550145LLU;
  
      t4 = ((x29*(x30%x31))-x32);
  
      if (t4 != 3018775739618055296LLU) { NG(); } else { ; }
  	
  }
  
  void f5(void) {
      	static int8_t x33 = INT8_MIN;
  	int32_t x34 = -2018501;
  	int16_t x35 = INT16_MAX;
  	volatile uint32_t x36 = 507865222U;
  	volatile uint32_t t5 = 54U;
  
      t5 = ((x33*(x34%x35))-x36);
  
      if (t5 != 3789625466U) { NG(); } else { ; }
  	
  }
  
  void f6(void) {
      	static uint64_t x37 = 6911LLU;
  	static int16_t x38 = INT16_MIN;
  	int8_t x39 = INT8_MAX;
  	int32_t x40 = 926274268;
  	static uint64_t t6 = 17LLU;
  
      t6 = ((x37*(x38%x39))-x40);
  
      if (t6 != 18446744072783263526LLU) { NG(); } else { ; }
  	
  }
  
  void f7(void) {
      	uint16_t x41 = UINT16_MAX;
  	int32_t x42 = -1;
  	int64_t x43 = 129LL;
  	int32_t x44 = INT32_MIN;
  	int64_t t7 = 114265687236LL;
  
      t7 = ((x41*(x42%x43))-x44);
  
      if (t7 != 2147418113LL) { NG(); } else { ; }
  	
  }
  
  void f8(void) {
      	volatile int8_t x49 = INT8_MIN;
  	static int64_t x50 = -1696595472912LL;
  	int64_t x51 = INT64_MIN;
  	volatile int16_t x52 = 7538;
  	static int64_t t8 = 8551620755831057LL;
  
      t8 = ((x49*(x50%x51))-x52);
  
      if (t8 != 217164220525198LL) { NG(); } else { ; }
  	
  }
  
  void f9(void) {
      	static volatile int8_t x53 = INT8_MIN;
  	uint16_t x54 = 6U;
  	int8_t x56 = INT8_MAX;
  
      t9 = ((x53*(x54%x55))-x56);
  
      if (t9 != -895) { NG(); } else { ; }
  	
  }
  
  void f10(void) {
      	uint16_t x57 = 1897U;
  	uint32_t x58 = 142926976U;
  	int64_t x59 = 892115328069950LL;
  	int16_t x60 = INT16_MIN;
  	volatile int64_t t10 = 159342307306890LL;
  
      t10 = ((x57*(x58%x59))-x60);
  
      if (t10 != 271132506240LL) { NG(); } else { ; }
  	
  }
  
  void f11(void) {
      	int32_t x61 = -1;
  	static uint32_t x62 = 5291770U;
  	static int64_t x63 = -717LL;
  	volatile int64_t t11 = 107962768LL;
  
      t11 = ((x61*(x62%x63))-x64);
  
      if (t11 != -182LL) { NG(); } else { ; }
  	
  }
  
  void f12(void) {
      	int32_t x65 = INT32_MIN;
  	uint16_t x66 = 0U;
  	volatile uint32_t t12 = 0U;
  
      t12 = ((x65*(x66%x67))-x68);
  
      if (t12 != 1U) { NG(); } else { ; }
  	
  }
  
  void f13(void) {
      	int64_t x69 = INT64_MIN;
  	uint64_t x70 = 719700498486732208LLU;
  	int64_t x71 = INT64_MIN;
  	int32_t x72 = INT32_MIN;
  	uint64_t t13 = 136200622LLU;
  
      t13 = ((x69*(x70%x71))-x72);
  
      if (t13 != 2147483648LLU) { NG(); } else { ; }
  	
  }
  
  void f14(void) {
      	uint8_t x73 = UINT8_MAX;
  	uint8_t x74 = UINT8_MAX;
  	static uint8_t x75 = 10U;
  	int16_t x76 = 1;
  	volatile int32_t t14 = -1042272918;
  
      t14 = ((x73*(x74%x75))-x76);
  
      if (t14 != 1274) { NG(); } else { ; }
  	
  }
  
  void f15(void) {
      	int16_t x77 = INT16_MAX;
  	volatile int32_t x78 = 145;
  	static uint8_t x79 = 32U;
  	static uint32_t x80 = 2455U;
  	volatile uint32_t t15 = 1792235U;
  
      t15 = ((x77*(x78%x79))-x80);
  
      if (t15 != 554584U) { NG(); } else { ; }
  	
  }
  
  void f16(void) {
      	static int16_t x81 = -11872;
  	uint16_t x82 = UINT16_MAX;
  	int32_t x83 = INT32_MAX;
  	uint64_t t16 = 894946LLU;
  
      t16 = ((x81*(x82%x83))-x84);
  
      if (t16 != 18446744072931520097LLU) { NG(); } else { ; }
  	
  }
  
  void f17(void) {
      	volatile uint64_t x89 = UINT64_MAX;
  	volatile uint16_t x90 = UINT16_MAX;
  	int32_t x92 = -1;
  	uint64_t t17 = 3416255187251670LLU;
  
      t17 = ((x89*(x90%x91))-x92);
  
      if (t17 != 18446744073709486082LLU) { NG(); } else { ; }
  	
  }
  
  void f18(void) {
      	int16_t x102 = -898;
  	uint32_t x103 = 2U;
  	volatile int64_t x104 = -1LL;
  	volatile int64_t t18 = -25222590736777376LL;
  
      t18 = ((x101*(x102%x103))-x104);
  
      if (t18 != 1LL) { NG(); } else { ; }
  	
  }
  
  void f19(void) {
      	static uint64_t x105 = 1LLU;
  	volatile uint64_t x106 = 6226240481LLU;
  	static uint8_t x107 = 1U;
  	volatile int16_t x108 = -3;
  	uint64_t t19 = 6LLU;
  
      t19 = ((x105*(x106%x107))-x108);
  
      if (t19 != 3LLU) { NG(); } else { ; }
  	
  }
  
  void f20(void) {
      	int8_t x109 = INT8_MAX;
  	static int32_t x110 = -1;
  	static volatile int16_t x111 = -1;
  	volatile int8_t x112 = INT8_MAX;
  	volatile int32_t t20 = 24;
  
      t20 = ((x109*(x110%x111))-x112);
  
      if (t20 != -127) { NG(); } else { ; }
  	
  }
  
  void f21(void) {
      	volatile int16_t x113 = -1;
  	uint8_t x114 = UINT8_MAX;
  	int64_t x115 = -1LL;
  	int32_t x116 = INT32_MAX;
  	int64_t t21 = -41601901158567LL;
  
      t21 = ((x113*(x114%x115))-x116);
  
      if (t21 != -2147483647LL) { NG(); } else { ; }
  	
  }
  
  void f22(void) {
      	static int32_t x117 = -1;
  	uint64_t x119 = 3814LLU;
  	uint8_t x120 = 1U;
  	uint64_t t22 = 525852208640144097LLU;
  
      t22 = ((x117*(x118%x119))-x120);
  
      if (t22 != 18446744073709550297LLU) { NG(); } else { ; }
  	
  }
  
  void f23(void) {
      	volatile int8_t x121 = INT8_MIN;
  	static int8_t x122 = 1;
  	uint32_t x124 = 3101U;
  
      t23 = ((x121*(x122%x123))-x124);
  
      if (t23 != 4294964195U) { NG(); } else { ; }
  	
  }
  
  void f24(void) {
      	int16_t x129 = INT16_MIN;
  	int32_t x130 = -1;
  	volatile uint64_t t24 = 0LLU;
  
      t24 = ((x129*(x130%x131))-x132);
  
      if (t24 != 18446744069414584321LLU) { NG(); } else { ; }
  	
  }
  
  void f25(void) {
      	uint8_t x134 = 1U;
  	uint8_t x135 = 75U;
  	volatile int8_t x136 = INT8_MIN;
  	int32_t t25 = 3302302;
  
      t25 = ((x133*(x134%x135))-x136);
  
      if (t25 != 128) { NG(); } else { ; }
  	
  }
  
  void f26(void) {
      	volatile int16_t x137 = INT16_MAX;
  	int64_t x138 = INT64_MIN;
  	volatile uint64_t x140 = 830107850LLU;
  	uint64_t t26 = 167555913724831553LLU;
  
      t26 = ((x137*(x138%x139))-x140);
  
      if (t26 != 18446744072879443766LLU) { NG(); } else { ; }
  	
  }
  
  void f27(void) {
      	uint16_t x141 = UINT16_MAX;
  	uint32_t x142 = UINT32_MAX;
  	uint8_t x143 = UINT8_MAX;
  	int64_t x144 = -8605LL;
  	static volatile int64_t t27 = 88608209818979037LL;
  
      t27 = ((x141*(x142%x143))-x144);
  
      if (t27 != 8605LL) { NG(); } else { ; }
  	
  }
  
  void f28(void) {
      	volatile uint64_t x145 = 543523LLU;
  	uint64_t x146 = UINT64_MAX;
  	int16_t x147 = INT16_MIN;
  	uint8_t x148 = 81U;
  	uint64_t t28 = 22516978047722LLU;
  
      t28 = ((x145*(x146%x147))-x148);
  
      if (t28 != 17809618060LLU) { NG(); } else { ; }
  	
  }
  
  void f29(void) {
      	static int32_t x152 = 948;
  	int32_t t29 = -2345693;
  
      t29 = ((x149*(x150%x151))-x152);
  
      if (t29 != 38472663) { NG(); } else { ; }
  	
  }
  
  void f30(void) {
      	uint64_t x153 = 2476341630783LLU;
  	uint16_t x155 = 682U;
  	volatile uint64_t t30 = 271330504574LLU;
  
      t30 = ((x153*(x154%x155))-x156);
  
      if (t30 != 9223352226121729544LLU) { NG(); } else { ; }
  	
  }
  
  void f31(void) {
      	uint64_t x157 = 90907164LLU;
  	int16_t x158 = INT16_MIN;
  	volatile int64_t x159 = -1LL;
  	volatile uint64_t t31 = 90331767640LLU;
  
      t31 = ((x157*(x158%x159))-x160);
  
      if (t31 != 18446744073709551601LLU) { NG(); } else { ; }
  	
  }
  
  void f32(void) {
      	int32_t x161 = INT32_MAX;
  	static int32_t x163 = -1;
  	uint64_t t32 = 3263884222463195080LLU;
  
      t32 = ((x161*(x162%x163))-x164);
  
      if (t32 != 18395596286638518021LLU) { NG(); } else { ; }
  	
  }
  
  void f33(void) {
      	int16_t x169 = 6;
  	volatile int32_t x170 = INT32_MIN;
  	int64_t x171 = -2456LL;
  	static int64_t x172 = INT64_MIN;
  	volatile int64_t t33 = -1467747408LL;
  
      t33 = ((x169*(x170%x171))-x172);
  
      if (t33 != 9223372036854767072LL) { NG(); } else { ; }
  	
  }
  
  void f34(void) {
      	int16_t x173 = INT16_MIN;
  	int64_t x175 = INT64_MAX;
  	int16_t x176 = -1;
  
      t34 = ((x173*(x174%x175))-x176);
  
      if (t34 != -4161535LL) { NG(); } else { ; }
  	
  }
  
  void f35(void) {
      	int8_t x177 = INT8_MIN;
  	int8_t x178 = 7;
  	int32_t x179 = -1;
  	static volatile uint8_t x180 = UINT8_MAX;
  	int32_t t35 = -1;
  
      t35 = ((x177*(x178%x179))-x180);
  
      if (t35 != -255) { NG(); } else { ; }
  	
  }
  
  void f36(void) {
      	uint64_t x182 = 296575475060751LLU;
  	int64_t x184 = INT64_MIN;
  
      t36 = ((x181*(x182%x183))-x184);
  
      if (t36 != 9223372036853783680LLU) { NG(); } else { ; }
  	
  }
  
  void f37(void) {
      	static uint8_t x193 = UINT8_MAX;
  	uint64_t t37 = 7436898512400LLU;
  
      t37 = ((x193*(x194%x195))-x196);
  
      if (t37 != 1LLU) { NG(); } else { ; }
  	
  }
  
  void f38(void) {
      	int32_t x197 = 14415435;
  	uint64_t x198 = 23312821203LLU;
  	static int8_t x199 = -1;
  	volatile int8_t x200 = INT8_MAX;
  	volatile uint64_t t38 = 22049451LLU;
  
      t38 = ((x197*(x198%x199))-x200);
  
      if (t38 != 336064458718468178LLU) { NG(); } else { ; }
  	
  }
  
  void f39(void) {
      	int16_t x201 = INT16_MAX;
  	int8_t x202 = INT8_MIN;
  	int64_t x203 = 2551285155016144290LL;
  	uint32_t x204 = 82106U;
  	static volatile int64_t t39 = 3392LL;
  
      t39 = ((x201*(x202%x203))-x204);
  
      if (t39 != -4276282LL) { NG(); } else { ; }
  	
  }
  
  void f40(void) {
      	int8_t x206 = INT8_MIN;
  	uint16_t x208 = 41U;
  	volatile int64_t t40 = 1106787685085015440LL;
  
      t40 = ((x205*(x206%x207))-x208);
  
      if (t40 != 87LL) { NG(); } else { ; }
  	
  }
  
  void f41(void) {
      	int16_t x209 = -1;
  	int64_t x210 = INT64_MAX;
  	uint16_t x211 = 14U;
  	uint32_t x212 = 28U;
  
      t41 = ((x209*(x210%x211))-x212);
  
      if (t41 != -35LL) { NG(); } else { ; }
  	
  }
  
  void f42(void) {
      	int32_t x213 = INT32_MIN;
  	int64_t x214 = INT64_MAX;
  	static uint16_t x215 = 717U;
  	int8_t x216 = INT8_MIN;
  	int64_t t42 = -70013903232LL;
  
      t42 = ((x213*(x214%x215))-x216);
  
      if (t42 != -672162381696LL) { NG(); } else { ; }
  	
  }
  
  void f43(void) {
      	uint32_t x218 = 84318U;
  	int64_t x219 = -1LL;
  	uint8_t x220 = 4U;
  	int64_t t43 = -17224399427144LL;
  
      t43 = ((x217*(x218%x219))-x220);
  
      if (t43 != -4LL) { NG(); } else { ; }
  	
  }
  
  void f44(void) {
      	uint64_t x221 = 27173490LLU;
  	uint8_t x222 = 10U;
  	int64_t x223 = -112451847554886397LL;
  	uint8_t x224 = UINT8_MAX;
  	uint64_t t44 = 3LLU;
  
      t44 = ((x221*(x222%x223))-x224);
  
      if (t44 != 271734645LLU) { NG(); } else { ; }
  	
  }
  
  void f45(void) {
      	int64_t x229 = -105590874007711146LL;
  	static volatile uint32_t x230 = UINT32_MAX;
  	uint64_t x231 = UINT64_MAX;
  	volatile uint16_t x232 = 362U;
  	uint64_t t45 = 18820459487507LLU;
  
      t45 = ((x229*(x230%x231))-x232);
  
      if (t45 != 15615797045015653440LLU) { NG(); } else { ; }
  	
  }
  
  void f46(void) {
      	int32_t x234 = -1;
  	uint8_t x235 = 5U;
  	volatile int8_t x236 = INT8_MIN;
  	int32_t t46 = -56459;
  
      t46 = ((x233*(x234%x235))-x236);
  
      if (t46 != 12) { NG(); } else { ; }
  	
  }
  
  void f47(void) {
      	volatile uint32_t x237 = UINT32_MAX;
  	int32_t x238 = INT32_MIN;
  	volatile int32_t x239 = INT32_MIN;
  	uint64_t x240 = 139979945663047158LLU;
  	volatile uint64_t t47 = 108038312193025984LLU;
  
      t47 = ((x237*(x238%x239))-x240);
  
      if (t47 != 18306764128046504458LLU) { NG(); } else { ; }
  	
  }
  
  void f48(void) {
      	int16_t x245 = -469;
  	volatile int32_t x246 = INT32_MAX;
  	int16_t x247 = INT16_MAX;
  	volatile uint32_t x248 = 1872316U;
  	uint32_t t48 = 17U;
  
      t48 = ((x245*(x246%x247))-x248);
  
      if (t48 != 4293094511U) { NG(); } else { ; }
  	
  }
  
  void f49(void) {
      	volatile uint16_t x249 = 56U;
  	volatile int32_t x250 = INT32_MIN;
  	volatile uint64_t x251 = 68001395718309582LLU;
  	static int8_t x252 = INT8_MIN;
  	uint64_t t49 = 32178410LLU;
  
      t49 = ((x249*(x250%x251))-x252);
  
      if (t49 != 1028486586409589904LLU) { NG(); } else { ; }
  	
  }
  
  void f50(void) {
      	int8_t x253 = 1;
  	int16_t x254 = INT16_MIN;
  	static uint8_t x255 = 2U;
  	volatile int32_t t50 = -1;
  
      t50 = ((x253*(x254%x255))-x256);
  
      if (t50 != -19503) { NG(); } else { ; }
  	
  }
  
  void f51(void) {
      	int32_t x258 = INT32_MIN;
  	uint16_t x259 = 54U;
  	volatile int32_t t51 = 13824;
  
      t51 = ((x257*(x258%x259))-x260);
  
      if (t51 != -1080209304) { NG(); } else { ; }
  	
  }
  
  void f52(void) {
      	volatile uint8_t x261 = 0U;
  	uint8_t x262 = UINT8_MAX;
  	volatile int32_t x263 = 5523;
  	int64_t x264 = -1LL;
  	int64_t t52 = -100943314246LL;
  
      t52 = ((x261*(x262%x263))-x264);
  
      if (t52 != 1LL) { NG(); } else { ; }
  	
  }
  
  void f53(void) {
      	int8_t x265 = 1;
  	int64_t x266 = INT64_MAX;
  	static int32_t x267 = INT32_MIN;
  	int8_t x268 = INT8_MIN;
  
      t53 = ((x265*(x266%x267))-x268);
  
      if (t53 != 2147483775LL) { NG(); } else { ; }
  	
  }
  
  void f54(void) {
      	uint8_t x269 = 12U;
  	static int8_t x271 = -1;
  	static uint64_t x272 = 8105449159320LLU;
  	volatile uint64_t t54 = 10437780661785LLU;
  
      t54 = ((x269*(x270%x271))-x272);
  
      if (t54 != 18446735968260392296LLU) { NG(); } else { ; }
  	
  }
  
  void f55(void) {
      	int16_t x273 = INT16_MAX;
  	uint32_t x274 = 363963868U;
  	int64_t x275 = -1LL;
  	static volatile uint32_t x276 = 93U;
  	int64_t t55 = 11271LL;
  
      t55 = ((x273*(x274%x275))-x276);
  
      if (t55 != -93LL) { NG(); } else { ; }
  	
  }
  
  void f56(void) {
      	static uint32_t x277 = UINT32_MAX;
  	int8_t x278 = INT8_MAX;
  	uint16_t x280 = UINT16_MAX;
  	volatile uint32_t t56 = 6U;
  
      t56 = ((x277*(x278%x279))-x280);
  
      if (t56 != 4294901634U) { NG(); } else { ; }
  	
  }
  
  void f57(void) {
      	uint8_t x281 = 113U;
  	uint64_t x283 = UINT64_MAX;
  	static int16_t x284 = -1;
  	uint64_t t57 = 5898019594996001LLU;
  
      t57 = ((x281*(x282%x283))-x284);
  
      if (t57 != 114LLU) { NG(); } else { ; }
  	
  }
  
  void f58(void) {
      	uint32_t x286 = UINT32_MAX;
  	uint64_t x287 = 3160487811419188LLU;
  	static int8_t x288 = -1;
  	volatile uint64_t t58 = 5228452891LLU;
  
      t58 = ((x285*(x286%x287))-x288);
  
      if (t58 != 18446744065119617026LLU) { NG(); } else { ; }
  	
  }
  
  void f59(void) {
      	uint16_t x289 = 26U;
  	volatile uint64_t x290 = 1846498273344026579LLU;
  	static int8_t x291 = INT8_MAX;
  	int32_t x292 = 320861;
  	uint64_t t59 = 17300270418334143LLU;
  
      t59 = ((x289*(x290%x291))-x292);
  
      if (t59 != 18446744073709231847LLU) { NG(); } else { ; }
  	
  }
  
  void f60(void) {
      	volatile int16_t x294 = INT16_MAX;
  	static volatile uint16_t x295 = 6180U;
  	uint16_t x296 = 3772U;
  	int32_t t60 = -267842;
  
      t60 = ((x293*(x294%x295))-x296);
  
      if (t60 != -7506) { NG(); } else { ; }
  	
  }
  
  void f61(void) {
      	int16_t x297 = 1;
  	uint64_t x298 = UINT64_MAX;
  	int16_t x299 = INT16_MAX;
  	static int64_t x300 = 132286875LL;
  	volatile uint64_t t61 = 33LLU;
  
      t61 = ((x297*(x298%x299))-x300);
  
      if (t61 != 18446744073577264756LLU) { NG(); } else { ; }
  	
  }
  
  void f62(void) {
      	int8_t x301 = INT8_MIN;
  	uint64_t t62 = 125220313117359181LLU;
  
      t62 = ((x301*(x302%x303))-x304);
  
      if (t62 != 0LLU) { NG(); } else { ; }
  	
  }
  
  void f63(void) {
      	uint32_t x305 = UINT32_MAX;
  	int8_t x306 = INT8_MIN;
  	int8_t x307 = 1;
  	int32_t x308 = -1;
  	static volatile uint32_t t63 = 1U;
  
      t63 = ((x305*(x306%x307))-x308);
  
      if (t63 != 1U) { NG(); } else { ; }
  	
  }
  
  void f64(void) {
      	int8_t x309 = INT8_MIN;
  	static int16_t x310 = INT16_MAX;
  	int8_t x311 = INT8_MAX;
  	int16_t x312 = INT16_MAX;
  	int32_t t64 = -14364723;
  
      t64 = ((x309*(x310%x311))-x312);
  
      if (t64 != -32895) { NG(); } else { ; }
  	
  }
  
  void f65(void) {
      	int32_t x313 = INT32_MAX;
  	static uint64_t x314 = 3665930LLU;
  	static volatile int16_t x315 = -1;
  	int8_t x316 = -1;
  	volatile uint64_t t65 = 1832790045LLU;
  
      t65 = ((x313*(x314%x315))-x316);
  
      if (t65 != 7872524726046711LLU) { NG(); } else { ; }
  	
  }
  
  void f66(void) {
      	int8_t x317 = -1;
  	uint64_t x318 = 5LLU;
  	int64_t x319 = INT64_MIN;
  	volatile uint64_t t66 = 12753786382LLU;
  
      t66 = ((x317*(x318%x319))-x320);
  
      if (t66 != 18446744073709551600LLU) { NG(); } else { ; }
  	
  }
  
  void f67(void) {
      	uint16_t x321 = 22U;
  	uint8_t x322 = UINT8_MAX;
  	static uint64_t x324 = UINT64_MAX;
  
      t67 = ((x321*(x322%x323))-x324);
  
      if (t67 != 5611LLU) { NG(); } else { ; }
  	
  }
  
  void f68(void) {
      	int8_t x325 = -1;
  	static int32_t x326 = INT32_MIN;
  	uint32_t x327 = 5U;
  	int64_t x328 = -2611LL;
  	volatile int64_t t68 = 534915588LL;
  
      t68 = ((x325*(x326%x327))-x328);
  
      if (t68 != 4294969904LL) { NG(); } else { ; }
  	
  }
  
  void f69(void) {
      	static int32_t x329 = INT32_MIN;
  	volatile uint32_t x330 = 77054832U;
  	int64_t x331 = INT64_MIN;
  	int64_t t69 = -737325284LL;
  
      t69 = ((x329*(x330%x331))-x332);
  
      if (t69 != -165473991719387137LL) { NG(); } else { ; }
  	
  }
  
  void f70(void) {
      	int8_t x333 = -36;
  	int32_t x334 = INT32_MIN;
  	int32_t x335 = -17505;
  	static uint32_t t70 = 107561U;
  
      t70 = ((x333*(x334%x335))-x336);
  
      if (t70 != 4283870824U) { NG(); } else { ; }
  	
  }
  
  void f71(void) {
      	volatile int8_t x337 = 2;
  	int32_t x339 = -148257;
  	uint16_t x340 = 107U;
  	uint64_t t71 = 14376635301280570LLU;
  
      t71 = ((x337*(x338%x339))-x340);
  
      if (t71 != 76323118119886191LLU) { NG(); } else { ; }
  	
  }
  
  void f72(void) {
      	int16_t x345 = INT16_MIN;
  	int32_t x346 = -1;
  	uint8_t x347 = 34U;
  	static int16_t x348 = 24;
  	int32_t t72 = -1;
  
      t72 = ((x345*(x346%x347))-x348);
  
      if (t72 != 32744) { NG(); } else { ; }
  	
  }
  
  void f73(void) {
      	int8_t x354 = INT8_MIN;
  	uint32_t x355 = UINT32_MAX;
  	uint64_t x356 = 214378118841565180LLU;
  	static uint64_t t73 = 7408392867LLU;
  
      t73 = ((x353*(x354%x355))-x356);
  
      if (t73 != 18232365959162921092LLU) { NG(); } else { ; }
  	
  }
  
  void f74(void) {
      	int16_t x357 = INT16_MAX;
  	uint32_t x358 = 285U;
  	uint16_t x359 = 3U;
  	uint64_t x360 = UINT64_MAX;
  	volatile uint64_t t74 = 31086215LLU;
  
      t74 = ((x357*(x358%x359))-x360);
  
      if (t74 != 1LLU) { NG(); } else { ; }
  	
  }
  
  void f75(void) {
      	int8_t x361 = -1;
  	static int8_t x362 = -1;
  	int64_t x363 = -1LL;
  	int8_t x364 = INT8_MAX;
  	volatile int64_t t75 = -502695179LL;
  
      t75 = ((x361*(x362%x363))-x364);
  
      if (t75 != -127LL) { NG(); } else { ; }
  	
  }
  
  void f76(void) {
      	uint32_t x365 = UINT32_MAX;
  	uint32_t x366 = 242163U;
  	volatile uint16_t x367 = 1U;
  
      t76 = ((x365*(x366%x367))-x368);
  
      if (t76 != 2147483648U) { NG(); } else { ; }
  	
  }
  
  void f77(void) {
      	uint32_t x369 = 285148898U;
  	int16_t x370 = INT16_MAX;
  	uint8_t x371 = UINT8_MAX;
  	static int16_t x372 = INT16_MIN;
  	volatile uint32_t t77 = 12480U;
  
      t77 = ((x369*(x370%x371))-x372);
  
      if (t77 != 1854204446U) { NG(); } else { ; }
  	
  }
  
  void f78(void) {
      	int32_t x377 = 12;
  	uint8_t x378 = 82U;
  	uint64_t x379 = UINT64_MAX;
  	static volatile uint64_t t78 = 0LLU;
  
      t78 = ((x377*(x378%x379))-x380);
  
      if (t78 != 2195LLU) { NG(); } else { ; }
  	
  }
  
  void f79(void) {
      	uint16_t x381 = 1U;
  	volatile int64_t x382 = INT64_MIN;
  	int8_t x384 = 1;
  
      t79 = ((x381*(x382%x383))-x384);
  
      if (t79 != -1LL) { NG(); } else { ; }
  	
  }
  
  void f80(void) {
      	volatile int32_t x386 = 0;
  	static uint16_t x387 = 28U;
  	int16_t x388 = -1;
  	volatile int32_t t80 = -43;
  
      t80 = ((x385*(x386%x387))-x388);
  
      if (t80 != 1) { NG(); } else { ; }
  	
  }
  
  void f81(void) {
      	volatile int8_t x393 = INT8_MIN;
  	uint16_t x394 = UINT16_MAX;
  	int32_t x395 = INT32_MIN;
  	static volatile int16_t x396 = INT16_MAX;
  	int32_t t81 = -103534;
  
      t81 = ((x393*(x394%x395))-x396);
  
      if (t81 != -8421247) { NG(); } else { ; }
  	
  }
  
  void f82(void) {
      	int32_t x397 = INT32_MIN;
  	uint32_t x398 = 5088704U;
  	volatile uint8_t x399 = 108U;
  	static volatile uint32_t x400 = 18106U;
  	volatile uint32_t t82 = 129000605U;
  
      t82 = ((x397*(x398%x399))-x400);
  
      if (t82 != 4294949190U) { NG(); } else { ; }
  	
  }
  
  void f83(void) {
      	int64_t x401 = 497LL;
  	int64_t x403 = -62119860LL;
  	uint64_t x404 = 6725663912328676LLU;
  	uint64_t t83 = 673913476003795LLU;
  
      t83 = ((x401*(x402%x403))-x404);
  
      if (t83 != 18440018409797159324LLU) { NG(); } else { ; }
  	
  }
  
  void f84(void) {
      	int64_t x405 = INT64_MIN;
  	uint64_t x407 = 388698300608146836LLU;
  	volatile int64_t x408 = -1LL;
  	uint64_t t84 = 504546374931625LLU;
  
      t84 = ((x405*(x406%x407))-x408);
  
      if (t84 != 1LLU) { NG(); } else { ; }
  	
  }
  
  void f85(void) {
      	int64_t x417 = -1LL;
  	static int16_t x419 = 759;
  	int8_t x420 = INT8_MAX;
  	volatile int64_t t85 = 2778972359LL;
  
      t85 = ((x417*(x418%x419))-x420);
  
      if (t85 != -249LL) { NG(); } else { ; }
  	
  }
  
  void f86(void) {
      	volatile int16_t x425 = INT16_MIN;
  	volatile uint64_t x426 = 40709LLU;
  	static volatile uint32_t x427 = UINT32_MAX;
  	uint64_t t86 = 3144680LLU;
  
      t86 = ((x425*(x426%x427))-x428);
  
      if (t86 != 18446744072375566337LLU) { NG(); } else { ; }
  	
  }
  
  void f87(void) {
      	int16_t x429 = INT16_MAX;
  	static volatile int16_t x430 = -11874;
  	int16_t x431 = 5949;
  	static int32_t x432 = 346;
  
      t87 = ((x429*(x430%x431))-x432);
  
      if (t87 != -194144821) { NG(); } else { ; }
  	
  }
  
  void f88(void) {
      	static uint64_t x434 = 891060505LLU;
  	int64_t x435 = INT64_MIN;
  	int64_t x436 = -1LL;
  	volatile uint64_t t88 = 122827269235382041LLU;
  
      t88 = ((x433*(x434%x435))-x436);
  
      if (t88 != 18446714875438923777LLU) { NG(); } else { ; }
  	
  }
  
  void f89(void) {
      	volatile int64_t x437 = -1LL;
  	int64_t x438 = INT64_MIN;
  	int64_t x439 = -1LL;
  	volatile uint16_t x440 = 720U;
  
      t89 = ((x437*(x438%x439))-x440);
  
      if (t89 != -720LL) { NG(); } else { ; }
  	
  }
  
  void f90(void) {
      	static volatile int64_t x442 = -1LL;
  	static int16_t x443 = INT16_MAX;
  	static int32_t x444 = INT32_MIN;
  	volatile int64_t t90 = -138604936LL;
  
      t90 = ((x441*(x442%x443))-x444);
  
      if (t90 != 2147483572LL) { NG(); } else { ; }
  	
  }
  
  void f91(void) {
      	uint32_t x445 = UINT32_MAX;
  	int64_t x446 = -1LL;
  	uint64_t x447 = 2397966517929799LLU;
  	static volatile int32_t x448 = -22;
  	static volatile uint64_t t91 = 15694LLU;
  
      t91 = ((x445*(x446%x447))-x448);
  
      if (t91 != 7588482421648697707LLU) { NG(); } else { ; }
  	
  }
  
  void f92(void) {
      	uint32_t x451 = 544218970U;
  	static uint8_t x452 = UINT8_MAX;
  
      t92 = ((x449*(x450%x451))-x452);
  
      if (t92 != 2288892545U) { NG(); } else { ; }
  	
  }
  
  void f93(void) {
      	uint16_t x457 = 1826U;
  	uint16_t x458 = 3U;
  	static uint8_t x459 = 1U;
  	uint16_t x460 = 7U;
  	volatile int32_t t93 = 1546;
  
      t93 = ((x457*(x458%x459))-x460);
  
      if (t93 != -7) { NG(); } else { ; }
  	
  }
  
  void f94(void) {
      	uint8_t x461 = UINT8_MAX;
  	volatile uint64_t x462 = UINT64_MAX;
  	volatile uint16_t x463 = 804U;
  	int16_t x464 = -213;
  	uint64_t t94 = 70LLU;
  
      t94 = ((x461*(x462%x463))-x464);
  
      if (t94 != 89718LLU) { NG(); } else { ; }
  	
  }
  
  void f95(void) {
      	int32_t x465 = 3884;
  	int16_t x466 = -1167;
  	uint16_t x467 = 12U;
  	static uint32_t x468 = UINT32_MAX;
  	volatile uint32_t t95 = 14U;
  
      t95 = ((x465*(x466%x467))-x468);
  
      if (t95 != 4294955645U) { NG(); } else { ; }
  	
  }
  
  void f96(void) {
      	int32_t x473 = 382354489;
  	int64_t x474 = INT64_MAX;
  	volatile int32_t x475 = -807296867;
  	volatile int8_t x476 = INT8_MAX;
  
      t96 = ((x473*(x474%x475))-x476);
  
      if (t96 != 305334150093433807LL) { NG(); } else { ; }
  	
  }
  
  void f97(void) {
      	static uint8_t x477 = UINT8_MAX;
  	static uint32_t x480 = 48734738U;
  	volatile uint64_t t97 = 37651LLU;
  
      t97 = ((x477*(x478%x479))-x480);
  
      if (t97 != 1929371152LLU) { NG(); } else { ; }
  	
  }
  
  void f98(void) {
      	volatile uint16_t x481 = 160U;
  	int8_t x483 = INT8_MAX;
  	int8_t x484 = 13;
  	int32_t t98 = 24116;
  
      t98 = ((x481*(x482%x483))-x484);
  
      if (t98 != -813) { NG(); } else { ; }
  	
  }
  
  void f99(void) {
      	int8_t x485 = 6;
  	int16_t x486 = -1;
  	int8_t x487 = INT8_MAX;
  	volatile int64_t t99 = -7651LL;
  
      t99 = ((x485*(x486%x487))-x488);
  
      if (t99 != -5LL) { NG(); } else { ; }
  	
  }
  
  void f100(void) {
      	int32_t x490 = INT32_MIN;
  	uint64_t x492 = 3625863LLU;
  	static volatile uint64_t t100 = 199821052LLU;
  
      t100 = ((x489*(x490%x491))-x492);
  
      if (t100 != 15345914522745LLU) { NG(); } else { ; }
  	
  }
  
  void f101(void) {
      	uint64_t x493 = 449079371LLU;
  	static int16_t x494 = INT16_MIN;
  	static uint64_t t101 = 1LLU;
  
      t101 = ((x493*(x494%x495))-x496);
  
      if (t101 != 57482159489LLU) { NG(); } else { ; }
  	
  }
  
  void f102(void) {
      	uint16_t x497 = UINT16_MAX;
  	volatile int16_t x498 = 1;
  	int8_t x499 = -1;
  	static uint32_t x500 = UINT32_MAX;
  	volatile uint32_t t102 = 1U;
  
      t102 = ((x497*(x498%x499))-x500);
  
      if (t102 != 1U) { NG(); } else { ; }
  	
  }
  
  void f103(void) {
      	volatile int8_t x501 = 55;
  	static int8_t x502 = 4;
  	volatile int16_t x504 = INT16_MIN;
  	volatile int32_t t103 = -1;
  
      t103 = ((x501*(x502%x503))-x504);
  
      if (t103 != 32768) { NG(); } else { ; }
  	
  }
  
  void f104(void) {
      	static volatile uint32_t x505 = UINT32_MAX;
  	int8_t x506 = -7;
  	int64_t x507 = -1LL;
  	static int16_t x508 = -2;
  	volatile int64_t t104 = 64LL;
  
      t104 = ((x505*(x506%x507))-x508);
  
      if (t104 != 2LL) { NG(); } else { ; }
  	
  }
  
  void f105(void) {
      	int16_t x510 = INT16_MAX;
  	static volatile int32_t x511 = -1518;
  	volatile uint64_t x512 = 170596471613199LLU;
  
      t105 = ((x509*(x510%x511))-x512);
  
      if (t105 != 18446573477267068280LLU) { NG(); } else { ; }
  	
  }
  
  void f106(void) {
      	static uint8_t x515 = 104U;
  	int16_t x516 = -1261;
  	int32_t t106 = -41;
  
      t106 = ((x513*(x514%x515))-x516);
  
      if (t106 != 1261) { NG(); } else { ; }
  	
  }
  
  void f107(void) {
      	volatile uint64_t x517 = 56847030386LLU;
  	uint64_t x518 = 1LLU;
  	uint8_t x520 = UINT8_MAX;
  	uint64_t t107 = 1047099623594494LLU;
  
      t107 = ((x517*(x518%x519))-x520);
  
      if (t107 != 56847030131LLU) { NG(); } else { ; }
  	
  }
  
  void f108(void) {
      	uint32_t x525 = 0U;
  	int16_t x526 = INT16_MIN;
  	static int8_t x527 = INT8_MIN;
  	volatile uint32_t x528 = 445473U;
  	uint32_t t108 = 83058U;
  
      t108 = ((x525*(x526%x527))-x528);
  
      if (t108 != 4294521823U) { NG(); } else { ; }
  	
  }
  
  void f109(void) {
      	int16_t x529 = INT16_MIN;
  	uint8_t x530 = UINT8_MAX;
  	volatile uint8_t x532 = UINT8_MAX;
  	volatile int32_t t109 = 2020;
  
      t109 = ((x529*(x530%x531))-x532);
  
      if (t109 != -255) { NG(); } else { ; }
  	
  }
  
  void f110(void) {
      	int64_t x533 = INT64_MAX;
  	uint64_t x534 = 125035539LLU;
  	static int64_t x535 = -1LL;
  	int64_t x536 = -65529806334367LL;
  	uint64_t t110 = 145697629LLU;
  
      t110 = ((x533*(x534%x535))-x536);
  
      if (t110 != 9223437566536074636LLU) { NG(); } else { ; }
  	
  }
  
  void f111(void) {
      	int16_t x537 = -1;
  	int64_t x538 = 1670342964LL;
  	int32_t x539 = INT32_MIN;
  	int64_t x540 = INT64_MIN;
  	volatile int64_t t111 = 18240918LL;
  
      t111 = ((x537*(x538%x539))-x540);
  
      if (t111 != 9223372035184432844LL) { NG(); } else { ; }
  	
  }
  
  void f112(void) {
      	uint8_t x548 = UINT8_MAX;
  	static volatile uint32_t t112 = 7U;
  
      t112 = ((x545*(x546%x547))-x548);
  
      if (t112 != 4294967029U) { NG(); } else { ; }
  	
  }
  
  void f113(void) {
      	static uint16_t x550 = 1482U;
  	static volatile uint32_t x551 = 290996U;
  	static uint32_t t113 = 2U;
  
      t113 = ((x549*(x550%x551))-x552);
  
      if (t113 != 2147416959U) { NG(); } else { ; }
  	
  }
  
  void f114(void) {
      	uint16_t x553 = 956U;
  	static int32_t x554 = INT32_MAX;
  	int8_t x555 = INT8_MIN;
  	uint8_t x556 = 93U;
  	volatile int32_t t114 = -517;
  
      t114 = ((x553*(x554%x555))-x556);
  
      if (t114 != 121319) { NG(); } else { ; }
  	
  }
  
  void f115(void) {
      	static volatile uint8_t x557 = 0U;
  	volatile int32_t x560 = INT32_MAX;
  
      t115 = ((x557*(x558%x559))-x560);
  
      if (t115 != -2147483647LL) { NG(); } else { ; }
  	
  }
  
  void f116(void) {
      	int32_t x561 = INT32_MIN;
  	uint8_t x562 = 5U;
  	int64_t x563 = INT64_MAX;
  	int16_t x564 = -1;
  	volatile int64_t t116 = 119131044516LL;
  
      t116 = ((x561*(x562%x563))-x564);
  
      if (t116 != -10737418239LL) { NG(); } else { ; }
  	
  }
  
  void f117(void) {
      	int32_t x569 = -1;
  	int64_t x570 = INT64_MAX;
  	static uint8_t x571 = 7U;
  	volatile int32_t x572 = INT32_MAX;
  
      t117 = ((x569*(x570%x571))-x572);
  
      if (t117 != -2147483647LL) { NG(); } else { ; }
  	
  }
  
  void f118(void) {
      	uint8_t x573 = 4U;
  	int32_t x574 = INT32_MIN;
  	static int8_t x576 = INT8_MIN;
  	static volatile int32_t t118 = -546;
  
      t118 = ((x573*(x574%x575))-x576);
  
      if (t118 != 128) { NG(); } else { ; }
  	
  }
  
  void f119(void) {
      	int16_t x577 = INT16_MIN;
  	uint32_t x578 = UINT32_MAX;
  	static volatile int64_t x579 = -20655092795880176LL;
  	volatile int64_t t119 = -3133905LL;
  
      t119 = ((x577*(x578%x579))-x580);
  
      if (t119 != -140737488322559LL) { NG(); } else { ; }
  	
  }
  
  void f120(void) {
      	uint32_t x586 = UINT32_MAX;
  	int32_t x587 = INT32_MIN;
  	int8_t x588 = INT8_MIN;
  	static uint32_t t120 = 2737U;
  
      t120 = ((x585*(x586%x587))-x588);
  
      if (t120 != 129U) { NG(); } else { ; }
  	
  }
  
  void f121(void) {
      	int8_t x589 = INT8_MAX;
  	uint32_t x590 = 793867U;
  	uint32_t x591 = UINT32_MAX;
  	int8_t x592 = -1;
  	volatile uint32_t t121 = 1956864216U;
  
      t121 = ((x589*(x590%x591))-x592);
  
      if (t121 != 100821110U) { NG(); } else { ; }
  	
  }
  
  void f122(void) {
      	int64_t x593 = -6477613628LL;
  	volatile int32_t x595 = INT32_MIN;
  	volatile uint16_t x596 = 1199U;
  	static int64_t t122 = -14282824664889LL;
  
      t122 = ((x593*(x594%x595))-x596);
  
      if (t122 != 126295004547159001LL) { NG(); } else { ; }
  	
  }
  
  void f123(void) {
      	uint16_t x597 = UINT16_MAX;
  	static uint16_t x598 = 9281U;
  	static volatile uint32_t x600 = 9494U;
  
      t123 = ((x597*(x598%x599))-x600);
  
      if (t123 != 4250281U) { NG(); } else { ; }
  	
  }
  
  void f124(void) {
      	uint32_t x601 = 8009U;
  	static volatile int8_t x602 = INT8_MIN;
  	int64_t x603 = INT64_MIN;
  	int16_t x604 = INT16_MAX;
  	volatile int64_t t124 = -6201389185LL;
  
      t124 = ((x601*(x602%x603))-x604);
  
      if (t124 != -1057919LL) { NG(); } else { ; }
  	
  }
  
  void f125(void) {
      	static int16_t x605 = INT16_MAX;
  	uint16_t x606 = UINT16_MAX;
  	volatile int64_t x607 = INT64_MIN;
  	uint32_t x608 = UINT32_MAX;
  	int64_t t125 = 24056799807703LL;
  
      t125 = ((x605*(x606%x607))-x608);
  
      if (t125 != -2147581950LL) { NG(); } else { ; }
  	
  }
  
  void f126(void) {
      	volatile int32_t x609 = -1;
  	int16_t x611 = INT16_MIN;
  	volatile int64_t t126 = 16104971099LL;
  
      t126 = ((x609*(x610%x611))-x612);
  
      if (t126 != 9223372036854743041LL) { NG(); } else { ; }
  	
  }
  
  void f127(void) {
      	int32_t x614 = 396587569;
  	int16_t x615 = INT16_MIN;
  	volatile int32_t x616 = INT32_MIN;
  
      t127 = ((x613*(x614%x615))-x616);
  
      if (t127 != 1947529928) { NG(); } else { ; }
  	
  }
  
  void f128(void) {
      	static volatile uint16_t x617 = 8U;
  	int16_t x620 = -28;
  
      t128 = ((x617*(x618%x619))-x620);
  
      if (t128 != 28LL) { NG(); } else { ; }
  	
  }
  
  void f129(void) {
      	static int32_t x621 = INT32_MAX;
  	uint32_t x622 = 793157U;
  	int64_t x623 = INT64_MAX;
  	uint64_t t129 = 3823806LLU;
  
      t129 = ((x621*(x622%x623))-x624);
  
      if (t129 != 1703291687003576LLU) { NG(); } else { ; }
  	
  }
  
  void f130(void) {
      	uint32_t x625 = UINT32_MAX;
  	int8_t x627 = -2;
  	int8_t x628 = INT8_MIN;
  	volatile int64_t t130 = 3339LL;
  
      t130 = ((x625*(x626%x627))-x628);
  
      if (t130 != 4294967423LL) { NG(); } else { ; }
  	
  }
  
  void f131(void) {
      	int8_t x629 = -3;
  	uint16_t x630 = UINT16_MAX;
  	volatile int8_t x631 = INT8_MIN;
  	int8_t x632 = INT8_MAX;
  	static volatile int32_t t131 = 508211801;
  
      t131 = ((x629*(x630%x631))-x632);
  
      if (t131 != -508) { NG(); } else { ; }
  	
  }
  
  void f132(void) {
      	int16_t x633 = -1;
  	static volatile uint16_t x634 = UINT16_MAX;
  	int32_t x635 = INT32_MIN;
  	int32_t x636 = -502;
  	int32_t t132 = -597;
  
      t132 = ((x633*(x634%x635))-x636);
  
      if (t132 != -65033) { NG(); } else { ; }
  	
  }
  
  void f133(void) {
      	uint8_t x637 = 2U;
  	int64_t x638 = INT64_MIN;
  	uint8_t x639 = 12U;
  	uint8_t x640 = 18U;
  
      t133 = ((x637*(x638%x639))-x640);
  
      if (t133 != -34LL) { NG(); } else { ; }
  	
  }
  
  void f134(void) {
      	int8_t x641 = -22;
  	static int16_t x643 = -1;
  	int32_t x644 = -336964987;
  	volatile int32_t t134 = -51179905;
  
      t134 = ((x641*(x642%x643))-x644);
  
      if (t134 != 336964987) { NG(); } else { ; }
  	
  }
  
  void f135(void) {
      	volatile uint16_t x645 = 8U;
  	int32_t x646 = INT32_MIN;
  	uint8_t x648 = 8U;
  	static int64_t t135 = -687541799508769LL;
  
      t135 = ((x645*(x646%x647))-x648);
  
      if (t135 != -17179869192LL) { NG(); } else { ; }
  	
  }
  
  void f136(void) {
      	static int32_t x650 = 824;
  	static int64_t x651 = INT64_MAX;
  	int64_t t136 = -64458868LL;
  
      t136 = ((x649*(x650%x651))-x652);
  
      if (t136 != -4294757175LL) { NG(); } else { ; }
  	
  }
  
  void f137(void) {
      	static volatile uint8_t x653 = UINT8_MAX;
  	uint32_t x654 = 253664U;
  	int64_t x655 = 476521993604365553LL;
  	volatile uint32_t x656 = 29U;
  	int64_t t137 = -1259813187714110873LL;
  
      t137 = ((x653*(x654%x655))-x656);
  
      if (t137 != 64684291LL) { NG(); } else { ; }
  	
  }
  
  void f138(void) {
      	uint8_t x657 = 2U;
  	uint64_t x658 = 16114397080LLU;
  	int16_t x659 = INT16_MAX;
  	uint8_t x660 = UINT8_MAX;
  	volatile uint64_t t138 = 1368608847466839303LLU;
  
      t138 = ((x657*(x658%x659))-x660);
  
      if (t138 != 24647LLU) { NG(); } else { ; }
  	
  }
  
  void f139(void) {
      	static volatile int8_t x661 = 1;
  	int8_t x662 = -1;
  	static uint8_t x663 = 7U;
  	uint32_t x664 = 1972932554U;
  	static volatile uint32_t t139 = 246U;
  
      t139 = ((x661*(x662%x663))-x664);
  
      if (t139 != 2322034741U) { NG(); } else { ; }
  	
  }
  
  void f140(void) {
      	volatile int16_t x665 = -78;
  	uint8_t x666 = 94U;
  	int8_t x667 = -10;
  	uint16_t x668 = 5621U;
  	static int32_t t140 = 206437413;
  
      t140 = ((x665*(x666%x667))-x668);
  
      if (t140 != -5933) { NG(); } else { ; }
  	
  }
  
  void f141(void) {
      	uint16_t x669 = 1687U;
  	uint32_t x671 = UINT32_MAX;
  	int8_t x672 = INT8_MIN;
  	volatile uint32_t t141 = 642U;
  
      t141 = ((x669*(x670%x671))-x672);
  
      if (t141 != 214377U) { NG(); } else { ; }
  	
  }
  
  void f142(void) {
      	static volatile int8_t x673 = -1;
  	int16_t x674 = INT16_MIN;
  	volatile int32_t x676 = INT32_MAX;
  	volatile uint64_t t142 = 445639917LLU;
  
      t142 = ((x673*(x674%x675))-x676);
  
      if (t142 != 18446744071562067961LLU) { NG(); } else { ; }
  	
  }
  
  void f143(void) {
      	uint8_t x677 = 0U;
  	uint32_t x678 = UINT32_MAX;
  	uint32_t x679 = 12U;
  	volatile int64_t x680 = -1LL;
  	volatile int64_t t143 = 4442906868789LL;
  
      t143 = ((x677*(x678%x679))-x680);
  
      if (t143 != 1LL) { NG(); } else { ; }
  	
  }
  
  void f144(void) {
      	volatile int64_t x682 = INT64_MIN;
  	int64_t x683 = -1LL;
  	static uint64_t x684 = 24320LLU;
  	uint64_t t144 = 74241321239548190LLU;
  
      t144 = ((x681*(x682%x683))-x684);
  
      if (t144 != 18446744073709527296LLU) { NG(); } else { ; }
  	
  }
  
  void f145(void) {
      	int16_t x688 = INT16_MIN;
  
      t145 = ((x685*(x686%x687))-x688);
  
      if (t145 != 32513) { NG(); } else { ; }
  	
  }
  
  void f146(void) {
      	static volatile int64_t x690 = -15LL;
  	static int8_t x691 = INT8_MIN;
  	static uint64_t x692 = UINT64_MAX;
  	volatile uint64_t t146 = 3385LLU;
  
      t146 = ((x689*(x690%x691))-x692);
  
      if (t146 != 18446744073709505837LLU) { NG(); } else { ; }
  	
  }
  
  void f147(void) {
      	int32_t x693 = -193;
  	int8_t x694 = -1;
  	int8_t x695 = -1;
  	static uint8_t x696 = 59U;
  	volatile int32_t t147 = -14369566;
  
      t147 = ((x693*(x694%x695))-x696);
  
      if (t147 != -59) { NG(); } else { ; }
  	
  }
  
  void f148(void) {
      	uint64_t x697 = 206974358071622LLU;
  	uint8_t x698 = 3U;
  	int32_t x699 = 29738;
  	static uint16_t x700 = UINT16_MAX;
  	static volatile uint64_t t148 = 5826574266823830LLU;
  
      t148 = ((x697*(x698%x699))-x700);
  
      if (t148 != 620923074149331LLU) { NG(); } else { ; }
  	
  }
  
  void f149(void) {
      	int16_t x701 = 51;
  	uint16_t x702 = UINT16_MAX;
  	volatile uint64_t x703 = 28546257160LLU;
  
      t149 = ((x701*(x702%x703))-x704);
  
      if (t149 != 3342286LLU) { NG(); } else { ; }
  	
  }
  
  void f150(void) {
      	uint32_t x706 = UINT32_MAX;
  	int16_t x707 = -11;
  	uint8_t x708 = 22U;
  	uint32_t t150 = 96U;
  
      t150 = ((x705*(x706%x707))-x708);
  
      if (t150 != 4294967264U) { NG(); } else { ; }
  	
  }
  
  void f151(void) {
      	static int64_t x709 = -200LL;
  	int8_t x710 = -9;
  	static uint64_t x711 = 233043355541LLU;
  	volatile uint64_t x712 = 7780082670585092605LLU;
  	static uint64_t t151 = 11500987472422LLU;
  
      t151 = ((x709*(x710%x711))-x712);
  
      if (t151 != 10666639166542674811LLU) { NG(); } else { ; }
  	
  }
  
  void f152(void) {
      	uint32_t x713 = 4188648U;
  	volatile uint16_t x714 = 810U;
  	int8_t x715 = INT8_MAX;
  	volatile uint16_t x716 = 23872U;
  	volatile uint32_t t152 = 3259U;
  
      t152 = ((x713*(x714%x715))-x716);
  
      if (t152 != 201031232U) { NG(); } else { ; }
  	
  }
  
  void f153(void) {
      	static uint8_t x717 = 9U;
  	int8_t x718 = INT8_MIN;
  	volatile uint64_t x719 = UINT64_MAX;
  	int32_t x720 = INT32_MIN;
  	uint64_t t153 = 71929652751728801LLU;
  
      t153 = ((x717*(x718%x719))-x720);
  
      if (t153 != 2147482496LLU) { NG(); } else { ; }
  	
  }
  
  void f154(void) {
      	volatile int16_t x721 = INT16_MIN;
  	uint8_t x722 = UINT8_MAX;
  	int64_t x723 = INT64_MIN;
  	int32_t x724 = -1;
  	volatile int64_t t154 = -1540682179725LL;
  
      t154 = ((x721*(x722%x723))-x724);
  
      if (t154 != -8355839LL) { NG(); } else { ; }
  	
  }
  
  void f155(void) {
      	volatile int16_t x725 = INT16_MAX;
  	int32_t x726 = -1;
  	int64_t x727 = -1LL;
  	volatile int64_t t155 = -308060397842LL;
  
      t155 = ((x725*(x726%x727))-x728);
  
      if (t155 != 24LL) { NG(); } else { ; }
  	
  }
  
  void f156(void) {
      	volatile uint64_t x729 = UINT64_MAX;
  	uint64_t x730 = 328765284091LLU;
  	volatile int16_t x731 = INT16_MIN;
  	static int32_t x732 = INT32_MIN;
  
      t156 = ((x729*(x730%x731))-x732);
  
      if (t156 != 18446743747091751173LLU) { NG(); } else { ; }
  	
  }
  
  void f157(void) {
      	int16_t x733 = INT16_MIN;
  	static volatile int8_t x734 = INT8_MIN;
  	int32_t t157 = -6799111;
  
      t157 = ((x733*(x734%x735))-x736);
  
      if (t157 != 98284) { NG(); } else { ; }
  	
  }
  
  void f158(void) {
      	int16_t x737 = 1;
  	volatile int16_t x738 = -3438;
  	int16_t x739 = -1;
  	int16_t x740 = INT16_MIN;
  	volatile int32_t t158 = 4003;
  
      t158 = ((x737*(x738%x739))-x740);
  
      if (t158 != 32768) { NG(); } else { ; }
  	
  }
  
  void f159(void) {
      	int16_t x743 = 6;
  	volatile int64_t x744 = -1LL;
  	volatile int64_t t159 = 91681700977377LL;
  
      t159 = ((x741*(x742%x743))-x744);
  
      if (t159 != -121LL) { NG(); } else { ; }
  	
  }
  
  void f160(void) {
      	uint32_t x749 = UINT32_MAX;
  	int16_t x751 = -1;
  	static uint32_t t160 = 6608U;
  
      t160 = ((x749*(x750%x751))-x752);
  
      if (t160 != 1970U) { NG(); } else { ; }
  	
  }
  
  void f161(void) {
      	volatile int32_t x753 = 501;
  	static uint16_t x755 = 4227U;
  	uint32_t x756 = 4U;
  	static int64_t t161 = -97961LL;
  
      t161 = ((x753*(x754%x755))-x756);
  
      if (t161 != 1412816LL) { NG(); } else { ; }
  	
  }
  
  void f162(void) {
      	static int64_t x757 = -251LL;
  	int64_t x758 = INT64_MAX;
  	int32_t x759 = INT32_MIN;
  	static int32_t x760 = -1;
  	static int64_t t162 = -899650007LL;
  
      t162 = ((x757*(x758%x759))-x760);
  
      if (t162 != -539018395396LL) { NG(); } else { ; }
  	
  }
  
  void f163(void) {
      	static int64_t x761 = INT64_MAX;
  	int32_t x762 = INT32_MIN;
  	int32_t x763 = INT32_MIN;
  	int64_t x764 = -142410940681651570LL;
  	volatile int64_t t163 = -360566778973184706LL;
  
      t163 = ((x761*(x762%x763))-x764);
  
      if (t163 != 142410940681651570LL) { NG(); } else { ; }
  	
  }
  
  void f164(void) {
      	int16_t x766 = -1;
  	uint32_t x767 = UINT32_MAX;
  	uint16_t x768 = 4117U;
  	volatile uint32_t t164 = 332245U;
  
      t164 = ((x765*(x766%x767))-x768);
  
      if (t164 != 4294963179U) { NG(); } else { ; }
  	
  }
  
  void f165(void) {
      	int8_t x769 = -1;
  	static volatile int8_t x770 = INT8_MAX;
  	static int8_t x771 = INT8_MIN;
  	static int32_t x772 = -21437032;
  	volatile int32_t t165 = -887327419;
  
      t165 = ((x769*(x770%x771))-x772);
  
      if (t165 != 21436905) { NG(); } else { ; }
  	
  }
  
  void f166(void) {
      	uint32_t x773 = UINT32_MAX;
  	int16_t x775 = -1;
  
      t166 = ((x773*(x774%x775))-x776);
  
      if (t166 != 18446744073698838099LLU) { NG(); } else { ; }
  	
  }
  
  void f167(void) {
      	int32_t x777 = INT32_MIN;
  	uint64_t x778 = 7006007314502773286LLU;
  	static int32_t x779 = -1;
  	static int32_t x780 = INT32_MIN;
  
      t167 = ((x777*(x778%x779))-x780);
  
      if (t167 != 14025065679732867072LLU) { NG(); } else { ; }
  	
  }
  
  void f168(void) {
      	uint8_t x786 = 3U;
  	int64_t x787 = 8771759101994LL;
  	volatile uint32_t x788 = 23436U;
  	int64_t t168 = 5LL;
  
      t168 = ((x785*(x786%x787))-x788);
  
      if (t168 != -23427LL) { NG(); } else { ; }
  	
  }
  
  void f169(void) {
      	uint16_t x789 = 0U;
  	int16_t x790 = INT16_MAX;
  
      t169 = ((x789*(x790%x791))-x792);
  
      if (t169 != 0) { NG(); } else { ; }
  	
  }
  
  void f170(void) {
      	int16_t x793 = INT16_MIN;
  	static int64_t x794 = -1LL;
  	int64_t x795 = INT64_MIN;
  	uint16_t x796 = 20972U;
  	int64_t t170 = 31064LL;
  
      t170 = ((x793*(x794%x795))-x796);
  
      if (t170 != 11796LL) { NG(); } else { ; }
  	
  }
  
  void f171(void) {
      	volatile int16_t x798 = -1;
  	volatile int8_t x799 = 1;
  	int16_t x800 = 27;
  	volatile int32_t t171 = -118;
  
      t171 = ((x797*(x798%x799))-x800);
  
      if (t171 != -27) { NG(); } else { ; }
  	
  }
  
  void f172(void) {
      	static int16_t x801 = INT16_MIN;
  	volatile int8_t x802 = INT8_MIN;
  	int32_t t172 = -812023263;
  
      t172 = ((x801*(x802%x803))-x804);
  
      if (t172 != -127) { NG(); } else { ; }
  	
  }
  
  void f173(void) {
      	static uint8_t x805 = 3U;
  	int16_t x806 = -4;
  	uint64_t x807 = 3050LLU;
  	uint64_t t173 = 6868344137LLU;
  
      t173 = ((x805*(x806%x807))-x808);
  
      if (t173 != 248LLU) { NG(); } else { ; }
  	
  }
  
  void f174(void) {
      	static uint16_t x812 = 10U;
  	static int64_t t174 = -2255119918390LL;
  
      t174 = ((x809*(x810%x811))-x812);
  
      if (t174 != -9LL) { NG(); } else { ; }
  	
  }
  
  void f175(void) {
      	volatile uint16_t x813 = 772U;
  	volatile int8_t x814 = -4;
  	int32_t x815 = INT32_MAX;
  	uint8_t x816 = 3U;
  	int32_t t175 = 152904332;
  
      t175 = ((x813*(x814%x815))-x816);
  
      if (t175 != -3091) { NG(); } else { ; }
  	
  }
  
  void f176(void) {
      	int8_t x818 = 3;
  	static int32_t x819 = -1;
  	volatile int16_t x820 = -1;
  	static volatile int32_t t176 = -661013;
  
      t176 = ((x817*(x818%x819))-x820);
  
      if (t176 != 1) { NG(); } else { ; }
  	
  }
  
  void f177(void) {
      	uint64_t x821 = 32332361218LLU;
  	volatile int16_t x823 = -696;
  	volatile int8_t x824 = -1;
  	volatile uint64_t t177 = 415LLU;
  
      t177 = ((x821*(x822%x823))-x824);
  
      if (t177 != 64664722437LLU) { NG(); } else { ; }
  	
  }
  
  void f178(void) {
      	int8_t x826 = INT8_MAX;
  	int8_t x827 = -1;
  	int16_t x828 = INT16_MIN;
  	volatile int64_t t178 = 3LL;
  
      t178 = ((x825*(x826%x827))-x828);
  
      if (t178 != 32768LL) { NG(); } else { ; }
  	
  }
  
  void f179(void) {
      	volatile int16_t x830 = 115;
  	int64_t x831 = INT64_MIN;
  	int32_t x832 = INT32_MIN;
  
      t179 = ((x829*(x830%x831))-x832);
  
      if (t179 != 2143715328LL) { NG(); } else { ; }
  	
  }
  
  void f180(void) {
      	volatile uint8_t x833 = UINT8_MAX;
  	volatile int16_t x835 = INT16_MAX;
  	volatile int64_t x836 = -1LL;
  	volatile int64_t t180 = -800257245LL;
  
      t180 = ((x833*(x834%x835))-x836);
  
      if (t180 != 16831LL) { NG(); } else { ; }
  	
  }
  
  void f181(void) {
      	static volatile uint32_t x837 = 1688U;
  	volatile int16_t x838 = -675;
  	static int64_t x839 = INT64_MIN;
  	int8_t x840 = 8;
  	volatile int64_t t181 = 83810LL;
  
      t181 = ((x837*(x838%x839))-x840);
  
      if (t181 != -1139408LL) { NG(); } else { ; }
  	
  }
  
  void f182(void) {
      	uint8_t x847 = UINT8_MAX;
  	static uint8_t x848 = UINT8_MAX;
  
      t182 = ((x845*(x846%x847))-x848);
  
      if (t182 != 4194049) { NG(); } else { ; }
  	
  }
  
  void f183(void) {
      	static volatile int8_t x849 = 3;
  	volatile uint64_t x851 = 14LLU;
  	uint8_t x852 = 1U;
  	volatile uint64_t t183 = 7280785916759399LLU;
  
      t183 = ((x849*(x850%x851))-x852);
  
      if (t183 != 2LLU) { NG(); } else { ; }
  	
  }
  
  void f184(void) {
      	static int8_t x853 = INT8_MAX;
  	static int8_t x854 = INT8_MAX;
  	int32_t x856 = INT32_MAX;
  	volatile int32_t t184 = 327491276;
  
      t184 = ((x853*(x854%x855))-x856);
  
      if (t184 != -2147467518) { NG(); } else { ; }
  	
  }
  
  void f185(void) {
      	static volatile uint8_t x857 = UINT8_MAX;
  	int16_t x858 = INT16_MAX;
  	static int32_t x859 = INT32_MIN;
  	volatile uint32_t x860 = 29226802U;
  	volatile uint32_t t185 = 3U;
  
      t185 = ((x857*(x858%x859))-x860);
  
      if (t185 != 4274096079U) { NG(); } else { ; }
  	
  }
  
  void f186(void) {
      	int64_t x861 = -1LL;
  	int16_t x862 = INT16_MIN;
  	uint64_t x863 = 4156LLU;
  	static int32_t x864 = INT32_MIN;
  	static volatile uint64_t t186 = 58267LLU;
  
      t186 = ((x861*(x862%x863))-x864);
  
      if (t186 != 2147482080LLU) { NG(); } else { ; }
  	
  }
  
  void f187(void) {
      	uint8_t x865 = 7U;
  	volatile int8_t x867 = -1;
  	int16_t x868 = 520;
  	int64_t t187 = 1832445757323912363LL;
  
      t187 = ((x865*(x866%x867))-x868);
  
      if (t187 != -520LL) { NG(); } else { ; }
  	
  }
  
  void f188(void) {
      	static int64_t x873 = 33LL;
  	int16_t x874 = INT16_MIN;
  	int64_t x876 = INT64_MIN;
  
      t188 = ((x873*(x874%x875))-x876);
  
      if (t188 != 9223372036854775742LL) { NG(); } else { ; }
  	
  }
  
  void f189(void) {
      	uint32_t x877 = 9U;
  	uint16_t x878 = 254U;
  	volatile uint32_t x879 = 2699911U;
  	int64_t x880 = 122LL;
  	int64_t t189 = 6231548411652LL;
  
      t189 = ((x877*(x878%x879))-x880);
  
      if (t189 != 2164LL) { NG(); } else { ; }
  	
  }
  
  void f190(void) {
      	uint64_t x885 = 20233541288LLU;
  	uint16_t x886 = 1U;
  	volatile uint64_t t190 = 1066904763388LLU;
  
      t190 = ((x885*(x886%x887))-x888);
  
      if (t190 != 15938573993LLU) { NG(); } else { ; }
  	
  }
  
  void f191(void) {
      	uint8_t x889 = UINT8_MAX;
  	static volatile uint8_t x890 = UINT8_MAX;
  	volatile int64_t x891 = INT64_MIN;
  	volatile uint64_t x892 = 7LLU;
  	uint64_t t191 = 574953535864942LLU;
  
      t191 = ((x889*(x890%x891))-x892);
  
      if (t191 != 65018LLU) { NG(); } else { ; }
  	
  }
  
  void f192(void) {
      	int16_t x893 = INT16_MAX;
  	int64_t x894 = 3237LL;
  	int32_t x896 = INT32_MIN;
  	int64_t t192 = 29110994661342LL;
  
      t192 = ((x893*(x894%x895))-x896);
  
      if (t192 != 2253550427LL) { NG(); } else { ; }
  	
  }
  
  void f193(void) {
      	int8_t x897 = 59;
  	uint16_t x898 = 19U;
  	volatile int16_t x899 = 877;
  	int32_t t193 = -246537;
  
      t193 = ((x897*(x898%x899))-x900);
  
      if (t193 != 1166) { NG(); } else { ; }
  	
  }
  
  void f194(void) {
      	uint64_t x901 = 9049080144335487938LLU;
  	volatile int32_t x903 = 158;
  	uint64_t x904 = 20LLU;
  	volatile uint64_t t194 = 284578032513LLU;
  
      t194 = ((x901*(x902%x903))-x904);
  
      if (t194 != 16675628615181710292LLU) { NG(); } else { ; }
  	
  }
  
  void f195(void) {
      	uint64_t x905 = 87572226655504434LLU;
  	volatile uint32_t x906 = 263105663U;
  	uint16_t x907 = 154U;
  	static volatile int8_t x908 = INT8_MAX;
  	volatile uint64_t t195 = 63386283106LLU;
  
      t195 = ((x905*(x906%x907))-x908);
  
      if (t195 != 4466183559430726007LLU) { NG(); } else { ; }
  	
  }
  
  void f196(void) {
      	volatile int16_t x909 = -42;
  	uint16_t x911 = 2U;
  	int8_t x912 = 0;
  	static int32_t t196 = 78;
  
      t196 = ((x909*(x910%x911))-x912);
  
      if (t196 != 42) { NG(); } else { ; }
  	
  }
  
  void f197(void) {
      	int16_t x913 = INT16_MAX;
  	volatile int16_t x914 = -1;
  	int32_t x915 = INT32_MIN;
  	int64_t x916 = -882118889LL;
  	int64_t t197 = -240636462LL;
  
      t197 = ((x913*(x914%x915))-x916);
  
      if (t197 != 882086122LL) { NG(); } else { ; }
  	
  }
  
  void f198(void) {
      	volatile int32_t x917 = INT32_MAX;
  	static int16_t x919 = -1;
  	int16_t x920 = -1;
  	static volatile int32_t t198 = 610;
  
      t198 = ((x917*(x918%x919))-x920);
  
      if (t198 != 1) { NG(); } else { ; }
  	
  }
  
  void f199(void) {
      	int8_t x921 = INT8_MIN;
  	int16_t x922 = INT16_MIN;
  	int16_t x923 = INT16_MIN;
  	int32_t t199 = 247;
  
      t199 = ((x921*(x922%x923))-x924);
  
      if (t199 != -32767) { 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;
  }
  
  