test/tint/bug/tint/1509.wgsl.expected.msl

#include <metal_stdlib>

using namespace metal;
uint foo() {
  thread uint tint_symbol_2 = 0u;
  thread uint tint_symbol_3 = 0u;
  thread uint tint_symbol_4 = 0u;
  thread uint tint_symbol_5 = 0u;
  thread uint tint_symbol_6 = 0u;
  thread uint tint_symbol_7 = 0u;
  thread uint tint_symbol_8 = 0u;
  thread uint tint_symbol_9 = 0u;
  thread uint tint_symbol_10 = 0u;
  thread uint tint_symbol_11 = 0u;
  thread uint tint_symbol_12 = 0u;
  thread uint tint_symbol_13 = 0u;
  thread uint tint_symbol_14 = 0u;
  thread uint tint_symbol_15 = 0u;
  thread uint tint_symbol_16 = 0u;
  thread uint tint_symbol_17 = 0u;
  thread uint tint_symbol_18 = 0u;
  thread uint tint_symbol_19 = 0u;
  thread uint tint_symbol_20 = 0u;
  thread uint tint_symbol_21 = 0u;
  thread uint tint_symbol_22 = 0u;
  thread uint tint_symbol_23 = 0u;
  thread uint tint_symbol_24 = 0u;
  thread uint tint_symbol_25 = 0u;
  thread uint tint_symbol_26 = 0u;
  thread uint tint_symbol_27 = 0u;
  thread uint tint_symbol_28 = 0u;
  thread uint tint_symbol_29 = 0u;
  thread uint tint_symbol_30 = 0u;
  thread uint tint_symbol_31 = 0u;
  thread uint tint_symbol_32 = 0u;
  thread uint tint_symbol_33 = 0u;
  thread uint tint_symbol_34 = 0u;
  thread uint tint_symbol_35 = 0u;
  thread uint tint_symbol_36 = 0u;
  thread uint tint_symbol_37 = 0u;
  thread uint tint_symbol_38 = 0u;
  thread uint tint_symbol_39 = 0u;
  thread uint tint_symbol_40 = 0u;
  thread uint tint_symbol_41 = 0u;
  thread uint tint_symbol_42 = 0u;
  thread uint tint_symbol_43 = 0u;
  thread uint tint_symbol_44 = 0u;
  thread uint tint_symbol_45 = 0u;
  thread uint tint_symbol_46 = 0u;
  thread uint tint_symbol_47 = 0u;
  thread uint tint_symbol_48 = 0u;
  thread uint tint_symbol_49 = 0u;
  thread uint tint_symbol_50 = 0u;
  thread uint tint_symbol_51 = 0u;
  thread uint tint_symbol_52 = 0u;
  thread uint tint_symbol_53 = 0u;
  thread uint tint_symbol_54 = 0u;
  thread uint tint_symbol_55 = 0u;
  thread uint tint_symbol_56 = 0u;
  thread uint tint_symbol_57 = 0u;
  thread uint tint_symbol_58 = 0u;
  thread uint tint_symbol_59 = 0u;
  thread uint tint_symbol_60 = 0u;
  thread uint tint_symbol_61 = 0u;
  thread uint tint_symbol_62 = 0u;
  thread uint tint_symbol_63 = 0u;
  thread uint tint_symbol_64 = 0u;
  thread uint tint_symbol_65 = 0u;
  thread uint tint_symbol_66 = 0u;
  thread uint tint_symbol_67 = 0u;
  thread uint tint_symbol_68 = 0u;
  thread uint tint_symbol_69 = 0u;
  thread uint tint_symbol_70 = 0u;
  thread uint tint_symbol_71 = 0u;
  thread uint tint_symbol_72 = 0u;
  thread uint tint_symbol_73 = 0u;
  thread uint tint_symbol_74 = 0u;
  thread uint tint_symbol_75 = 0u;
  thread uint tint_symbol_76 = 0u;
  thread uint tint_symbol_77 = 0u;
  thread uint tint_symbol_78 = 0u;
  thread uint tint_symbol_79 = 0u;
  thread uint tint_symbol_80 = 0u;
  thread uint tint_symbol_81 = 0u;
  thread uint tint_symbol_82 = 0u;
  thread uint tint_symbol_83 = 0u;
  thread uint tint_symbol_84 = 0u;
  thread uint tint_symbol_85 = 0u;
  thread uint tint_symbol_86 = 0u;
  thread uint tint_symbol_87 = 0u;
  thread uint tint_symbol_88 = 0u;
  thread uint tint_symbol_89 = 0u;
  thread uint tint_symbol_90 = 0u;
  thread uint tint_symbol_91 = 0u;
  thread uint tint_symbol_92 = 0u;
  thread uint tint_symbol_93 = 0u;
  thread uint tint_symbol_94 = 0u;
  thread uint tint_symbol_95 = 0u;
  thread uint tint_symbol_96 = 0u;
  thread uint tint_symbol_97 = 0u;
  thread uint tint_symbol_98 = 0u;
  thread uint tint_symbol_99 = 0u;
  thread uint tint_symbol_100 = 0u;
  thread uint tint_symbol_101 = 0u;
  thread uint tint_symbol_102 = 0u;
  thread uint tint_symbol_103 = 0u;
  thread uint tint_symbol_104 = 0u;
  thread uint tint_symbol_105 = 0u;
  thread uint tint_symbol_106 = 0u;
  thread uint tint_symbol_107 = 0u;
  thread uint tint_symbol_108 = 0u;
  thread uint tint_symbol_109 = 0u;
  thread uint tint_symbol_110 = 0u;
  thread uint tint_symbol_111 = 0u;
  thread uint tint_symbol_112 = 0u;
  thread uint tint_symbol_113 = 0u;
  thread uint tint_symbol_114 = 0u;
  thread uint tint_symbol_115 = 0u;
  thread uint tint_symbol_116 = 0u;
  thread uint tint_symbol_117 = 0u;
  thread uint tint_symbol_118 = 0u;
  thread uint tint_symbol_119 = 0u;
  thread uint tint_symbol_120 = 0u;
  thread uint tint_symbol_121 = 0u;
  thread uint tint_symbol_122 = 0u;
  thread uint tint_symbol_123 = 0u;
  thread uint tint_symbol_124 = 0u;
  thread uint tint_symbol_125 = 0u;
  thread uint tint_symbol_126 = 0u;
  thread uint tint_symbol_127 = 0u;
  thread uint tint_symbol_128 = 0u;
  thread uint tint_symbol_129 = 0u;
  thread uint tint_symbol_130 = 0u;
  thread uint tint_symbol_131 = 0u;
  thread uint tint_symbol_132 = 0u;
  thread uint tint_symbol_133 = 0u;
  thread uint tint_symbol_134 = 0u;
  thread uint tint_symbol_135 = 0u;
  thread uint tint_symbol_136 = 0u;
  thread uint tint_symbol_137 = 0u;
  thread uint tint_symbol_138 = 0u;
  thread uint tint_symbol_139 = 0u;
  thread uint tint_symbol_140 = 0u;
  thread uint tint_symbol_141 = 0u;
  thread uint tint_symbol_142 = 0u;
  thread uint tint_symbol_143 = 0u;
  thread uint tint_symbol_144 = 0u;
  thread uint tint_symbol_145 = 0u;
  thread uint tint_symbol_146 = 0u;
  thread uint tint_symbol_147 = 0u;
  thread uint tint_symbol_148 = 0u;
  thread uint tint_symbol_149 = 0u;
  thread uint tint_symbol_150 = 0u;
  thread uint tint_symbol_151 = 0u;
  thread uint tint_symbol_152 = 0u;
  thread uint tint_symbol_153 = 0u;
  thread uint tint_symbol_154 = 0u;
  thread uint tint_symbol_155 = 0u;
  thread uint tint_symbol_156 = 0u;
  thread uint tint_symbol_157 = 0u;
  thread uint tint_symbol_158 = 0u;
  thread uint tint_symbol_159 = 0u;
  thread uint tint_symbol_160 = 0u;
  thread uint tint_symbol_161 = 0u;
  thread uint tint_symbol_162 = 0u;
  thread uint tint_symbol_163 = 0u;
  thread uint tint_symbol_164 = 0u;
  thread uint tint_symbol_165 = 0u;
  thread uint tint_symbol_166 = 0u;
  thread uint tint_symbol_167 = 0u;
  thread uint tint_symbol_168 = 0u;
  thread uint tint_symbol_169 = 0u;
  thread uint tint_symbol_170 = 0u;
  thread uint tint_symbol_171 = 0u;
  thread uint tint_symbol_172 = 0u;
  thread uint tint_symbol_173 = 0u;
  thread uint tint_symbol_174 = 0u;
  thread uint tint_symbol_175 = 0u;
  thread uint tint_symbol_176 = 0u;
  thread uint tint_symbol_177 = 0u;
  thread uint tint_symbol_178 = 0u;
  thread uint tint_symbol_179 = 0u;
  thread uint tint_symbol_180 = 0u;
  thread uint tint_symbol_181 = 0u;
  thread uint tint_symbol_182 = 0u;
  thread uint tint_symbol_183 = 0u;
  thread uint tint_symbol_184 = 0u;
  thread uint tint_symbol_185 = 0u;
  thread uint tint_symbol_186 = 0u;
  thread uint tint_symbol_187 = 0u;
  thread uint tint_symbol_188 = 0u;
  thread uint tint_symbol_189 = 0u;
  thread uint tint_symbol_190 = 0u;
  thread uint tint_symbol_191 = 0u;
  thread uint tint_symbol_192 = 0u;
  thread uint tint_symbol_193 = 0u;
  thread uint tint_symbol_194 = 0u;
  thread uint tint_symbol_195 = 0u;
  thread uint tint_symbol_196 = 0u;
  thread uint tint_symbol_197 = 0u;
  thread uint tint_symbol_198 = 0u;
  thread uint tint_symbol_199 = 0u;
  thread uint tint_symbol_200 = 0u;
  thread uint tint_symbol_201 = 0u;
  thread uint tint_symbol_202 = 0u;
  thread uint tint_symbol_203 = 0u;
  thread uint tint_symbol_204 = 0u;
  thread uint tint_symbol_205 = 0u;
  thread uint tint_symbol_206 = 0u;
  thread uint tint_symbol_207 = 0u;
  thread uint tint_symbol_208 = 0u;
  thread uint tint_symbol_209 = 0u;
  thread uint tint_symbol_210 = 0u;
  thread uint tint_symbol_211 = 0u;
  thread uint tint_symbol_212 = 0u;
  thread uint tint_symbol_213 = 0u;
  thread uint tint_symbol_214 = 0u;
  thread uint tint_symbol_215 = 0u;
  thread uint tint_symbol_216 = 0u;
  thread uint tint_symbol_217 = 0u;
  thread uint tint_symbol_218 = 0u;
  thread uint tint_symbol_219 = 0u;
  thread uint tint_symbol_220 = 0u;
  thread uint tint_symbol_221 = 0u;
  thread uint tint_symbol_222 = 0u;
  thread uint tint_symbol_223 = 0u;
  thread uint tint_symbol_224 = 0u;
  thread uint tint_symbol_225 = 0u;
  thread uint tint_symbol_226 = 0u;
  thread uint tint_symbol_227 = 0u;
  thread uint tint_symbol_228 = 0u;
  thread uint tint_symbol_229 = 0u;
  thread uint tint_symbol_230 = 0u;
  thread uint tint_symbol_231 = 0u;
  thread uint tint_symbol_232 = 0u;
  thread uint tint_symbol_233 = 0u;
  thread uint tint_symbol_234 = 0u;
  thread uint tint_symbol_235 = 0u;
  thread uint tint_symbol_236 = 0u;
  thread uint tint_symbol_237 = 0u;
  thread uint tint_symbol_238 = 0u;
  thread uint tint_symbol_239 = 0u;
  thread uint tint_symbol_240 = 0u;
  thread uint tint_symbol_241 = 0u;
  thread uint tint_symbol_242 = 0u;
  thread uint tint_symbol_243 = 0u;
  thread uint tint_symbol_244 = 0u;
  thread uint tint_symbol_245 = 0u;
  thread uint tint_symbol_246 = 0u;
  thread uint tint_symbol_247 = 0u;
  thread uint tint_symbol_248 = 0u;
  thread uint tint_symbol_249 = 0u;
  thread uint tint_symbol_250 = 0u;
  thread uint tint_symbol_251 = 0u;
  thread uint tint_symbol_252 = 0u;
  thread uint tint_symbol_253 = 0u;
  thread uint tint_symbol_254 = 0u;
  thread uint tint_symbol_255 = 0u;
  thread uint tint_symbol_256 = 0u;
  thread uint tint_symbol_257 = 0u;
  thread uint tint_symbol_258 = 0u;
  thread uint tint_symbol_259 = 0u;
  thread uint tint_symbol_260 = 0u;
  thread uint tint_symbol_261 = 0u;
  thread uint tint_symbol_262 = 0u;
  thread uint tint_symbol_263 = 0u;
  thread uint tint_symbol_264 = 0u;
  thread uint tint_symbol_265 = 0u;
  thread uint tint_symbol_266 = 0u;
  thread uint tint_symbol_267 = 0u;
  thread uint tint_symbol_268 = 0u;
  thread uint tint_symbol_269 = 0u;
  thread uint tint_symbol_270 = 0u;
  thread uint tint_symbol_271 = 0u;
  thread uint tint_symbol_272 = 0u;
  thread uint tint_symbol_273 = 0u;
  thread uint tint_symbol_274 = 0u;
  thread uint tint_symbol_275 = 0u;
  thread uint tint_symbol_276 = 0u;
  thread uint tint_symbol_277 = 0u;
  thread uint tint_symbol_278 = 0u;
  thread uint tint_symbol_279 = 0u;
  thread uint tint_symbol_280 = 0u;
  thread uint tint_symbol_281 = 0u;
  thread uint tint_symbol_282 = 0u;
  thread uint tint_symbol_283 = 0u;
  thread uint tint_symbol_284 = 0u;
  thread uint tint_symbol_285 = 0u;
  thread uint tint_symbol_286 = 0u;
  thread uint tint_symbol_287 = 0u;
  thread uint tint_symbol_288 = 0u;
  thread uint tint_symbol_289 = 0u;
  thread uint tint_symbol_290 = 0u;
  thread uint tint_symbol_291 = 0u;
  thread uint tint_symbol_292 = 0u;
  thread uint tint_symbol_293 = 0u;
  thread uint tint_symbol_294 = 0u;
  thread uint tint_symbol_295 = 0u;
  thread uint tint_symbol_296 = 0u;
  thread uint tint_symbol_297 = 0u;
  thread uint tint_symbol_298 = 0u;
  thread uint tint_symbol_299 = 0u;
  thread uint tint_symbol_300 = 0u;
  thread uint tint_symbol_301 = 0u;
  thread uint tint_symbol_302 = 0u;
  thread uint tint_symbol_303 = 0u;
  thread uint tint_symbol_304 = 0u;
  thread uint tint_symbol_305 = 0u;
  thread uint tint_symbol_306 = 0u;
  thread uint tint_symbol_307 = 0u;
  thread uint tint_symbol_308 = 0u;
  thread uint tint_symbol_309 = 0u;
  thread uint tint_symbol_310 = 0u;
  thread uint tint_symbol_311 = 0u;
  thread uint tint_symbol_312 = 0u;
  thread uint tint_symbol_313 = 0u;
  thread uint tint_symbol_314 = 0u;
  thread uint tint_symbol_315 = 0u;
  thread uint tint_symbol_316 = 0u;
  thread uint tint_symbol_317 = 0u;
  thread uint tint_symbol_318 = 0u;
  thread uint tint_symbol_319 = 0u;
  thread uint tint_symbol_320 = 0u;
  thread uint tint_symbol_321 = 0u;
  thread uint tint_symbol_322 = 0u;
  thread uint tint_symbol_323 = 0u;
  thread uint tint_symbol_324 = 0u;
  thread uint tint_symbol_325 = 0u;
  thread uint tint_symbol_326 = 0u;
  thread uint tint_symbol_327 = 0u;
  thread uint tint_symbol_328 = 0u;
  thread uint tint_symbol_329 = 0u;
  thread uint tint_symbol_330 = 0u;
  thread uint tint_symbol_331 = 0u;
  thread uint tint_symbol_332 = 0u;
  thread uint tint_symbol_333 = 0u;
  thread uint tint_symbol_334 = 0u;
  thread uint tint_symbol_335 = 0u;
  thread uint tint_symbol_336 = 0u;
  thread uint tint_symbol_337 = 0u;
  thread uint tint_symbol_338 = 0u;
  thread uint tint_symbol_339 = 0u;
  thread uint tint_symbol_340 = 0u;
  thread uint tint_symbol_341 = 0u;
  thread uint tint_symbol_342 = 0u;
  thread uint tint_symbol_343 = 0u;
  thread uint tint_symbol_344 = 0u;
  thread uint tint_symbol_345 = 0u;
  thread uint tint_symbol_346 = 0u;
  thread uint tint_symbol_347 = 0u;
  thread uint tint_symbol_348 = 0u;
  thread uint tint_symbol_349 = 0u;
  thread uint tint_symbol_350 = 0u;
  thread uint tint_symbol_351 = 0u;
  thread uint tint_symbol_352 = 0u;
  thread uint tint_symbol_353 = 0u;
  thread uint tint_symbol_354 = 0u;
  thread uint tint_symbol_355 = 0u;
  thread uint tint_symbol_356 = 0u;
  thread uint tint_symbol_357 = 0u;
  thread uint tint_symbol_358 = 0u;
  thread uint tint_symbol_359 = 0u;
  thread uint tint_symbol_360 = 0u;
  thread uint tint_symbol_361 = 0u;
  thread uint tint_symbol_362 = 0u;
  thread uint tint_symbol_363 = 0u;
  thread uint tint_symbol_364 = 0u;
  thread uint tint_symbol_365 = 0u;
  thread uint tint_symbol_366 = 0u;
  thread uint tint_symbol_367 = 0u;
  thread uint tint_symbol_368 = 0u;
  thread uint tint_symbol_369 = 0u;
  thread uint tint_symbol_370 = 0u;
  thread uint tint_symbol_371 = 0u;
  thread uint tint_symbol_372 = 0u;
  thread uint tint_symbol_373 = 0u;
  thread uint tint_symbol_374 = 0u;
  thread uint tint_symbol_375 = 0u;
  thread uint tint_symbol_376 = 0u;
  thread uint tint_symbol_377 = 0u;
  thread uint tint_symbol_378 = 0u;
  thread uint tint_symbol_379 = 0u;
  thread uint tint_symbol_380 = 0u;
  thread uint tint_symbol_381 = 0u;
  thread uint tint_symbol_382 = 0u;
  thread uint tint_symbol_383 = 0u;
  thread uint tint_symbol_384 = 0u;
  thread uint tint_symbol_385 = 0u;
  thread uint tint_symbol_386 = 0u;
  thread uint tint_symbol_387 = 0u;
  thread uint tint_symbol_388 = 0u;
  thread uint tint_symbol_389 = 0u;
  thread uint tint_symbol_390 = 0u;
  thread uint tint_symbol_391 = 0u;
  thread uint tint_symbol_392 = 0u;
  thread uint tint_symbol_393 = 0u;
  thread uint tint_symbol_394 = 0u;
  thread uint tint_symbol_395 = 0u;
  thread uint tint_symbol_396 = 0u;
  thread uint tint_symbol_397 = 0u;
  thread uint tint_symbol_398 = 0u;
  thread uint tint_symbol_399 = 0u;
  thread uint tint_symbol_400 = 0u;
  thread uint tint_symbol_401 = 0u;
  thread uint tint_symbol_402 = 0u;
  thread uint tint_symbol_403 = 0u;
  thread uint tint_symbol_404 = 0u;
  thread uint tint_symbol_405 = 0u;
  thread uint tint_symbol_406 = 0u;
  thread uint tint_symbol_407 = 0u;
  thread uint tint_symbol_408 = 0u;
  thread uint tint_symbol_409 = 0u;
  thread uint tint_symbol_410 = 0u;
  thread uint tint_symbol_411 = 0u;
  thread uint tint_symbol_412 = 0u;
  thread uint tint_symbol_413 = 0u;
  thread uint tint_symbol_414 = 0u;
  thread uint tint_symbol_415 = 0u;
  thread uint tint_symbol_416 = 0u;
  thread uint tint_symbol_417 = 0u;
  thread uint tint_symbol_418 = 0u;
  thread uint tint_symbol_419 = 0u;
  thread uint tint_symbol_420 = 0u;
  thread uint tint_symbol_421 = 0u;
  thread uint tint_symbol_422 = 0u;
  thread uint tint_symbol_423 = 0u;
  thread uint tint_symbol_424 = 0u;
  thread uint tint_symbol_425 = 0u;
  thread uint tint_symbol_426 = 0u;
  thread uint tint_symbol_427 = 0u;
  thread uint tint_symbol_428 = 0u;
  thread uint tint_symbol_429 = 0u;
  thread uint tint_symbol_430 = 0u;
  thread uint tint_symbol_431 = 0u;
  thread uint tint_symbol_432 = 0u;
  thread uint tint_symbol_433 = 0u;
  thread uint tint_symbol_434 = 0u;
  thread uint tint_symbol_435 = 0u;
  thread uint tint_symbol_436 = 0u;
  thread uint tint_symbol_437 = 0u;
  thread uint tint_symbol_438 = 0u;
  thread uint tint_symbol_439 = 0u;
  thread uint tint_symbol_440 = 0u;
  thread uint tint_symbol_441 = 0u;
  thread uint tint_symbol_442 = 0u;
  thread uint tint_symbol_443 = 0u;
  thread uint tint_symbol_444 = 0u;
  thread uint tint_symbol_445 = 0u;
  thread uint tint_symbol_446 = 0u;
  thread uint tint_symbol_447 = 0u;
  thread uint tint_symbol_448 = 0u;
  thread uint tint_symbol_449 = 0u;
  thread uint tint_symbol_450 = 0u;
  thread uint tint_symbol_451 = 0u;
  thread uint tint_symbol_452 = 0u;
  thread uint tint_symbol_453 = 0u;
  thread uint tint_symbol_454 = 0u;
  thread uint tint_symbol_455 = 0u;
  thread uint tint_symbol_456 = 0u;
  thread uint tint_symbol_457 = 0u;
  thread uint tint_symbol_458 = 0u;
  thread uint tint_symbol_459 = 0u;
  thread uint tint_symbol_460 = 0u;
  thread uint tint_symbol_461 = 0u;
  thread uint tint_symbol_462 = 0u;
  thread uint tint_symbol_463 = 0u;
  thread uint tint_symbol_464 = 0u;
  thread uint tint_symbol_465 = 0u;
  thread uint tint_symbol_466 = 0u;
  thread uint tint_symbol_467 = 0u;
  thread uint tint_symbol_468 = 0u;
  thread uint tint_symbol_469 = 0u;
  thread uint tint_symbol_470 = 0u;
  thread uint tint_symbol_471 = 0u;
  thread uint tint_symbol_472 = 0u;
  thread uint tint_symbol_473 = 0u;
  thread uint tint_symbol_474 = 0u;
  thread uint tint_symbol_475 = 0u;
  thread uint tint_symbol_476 = 0u;
  thread uint tint_symbol_477 = 0u;
  thread uint tint_symbol_478 = 0u;
  thread uint tint_symbol_479 = 0u;
  thread uint tint_symbol_480 = 0u;
  thread uint tint_symbol_481 = 0u;
  thread uint tint_symbol_482 = 0u;
  thread uint tint_symbol_483 = 0u;
  thread uint tint_symbol_484 = 0u;
  thread uint tint_symbol_485 = 0u;
  thread uint tint_symbol_486 = 0u;
  thread uint tint_symbol_487 = 0u;
  thread uint tint_symbol_488 = 0u;
  thread uint tint_symbol_489 = 0u;
  thread uint tint_symbol_490 = 0u;
  thread uint tint_symbol_491 = 0u;
  thread uint tint_symbol_492 = 0u;
  thread uint tint_symbol_493 = 0u;
  thread uint tint_symbol_494 = 0u;
  thread uint tint_symbol_495 = 0u;
  thread uint tint_symbol_496 = 0u;
  thread uint tint_symbol_497 = 0u;
  thread uint tint_symbol_498 = 0u;
  thread uint tint_symbol_499 = 0u;
  thread uint tint_symbol_500 = 0u;
  thread uint tint_symbol_501 = 0u;
  thread uint tint_symbol_502 = 0u;
  thread uint tint_symbol_503 = 0u;
  thread uint tint_symbol_504 = 0u;
  thread uint tint_symbol_505 = 0u;
  thread uint tint_symbol_506 = 0u;
  thread uint tint_symbol_507 = 0u;
  thread uint tint_symbol_508 = 0u;
  thread uint tint_symbol_509 = 0u;
  thread uint tint_symbol_510 = 0u;
  thread uint tint_symbol_511 = 0u;
  thread uint tint_symbol_512 = 0u;
  thread uint tint_symbol_513 = 0u;
  thread uint tint_symbol_514 = 0u;
  thread uint tint_symbol_515 = 0u;
  thread uint tint_symbol_516 = 0u;
  thread uint tint_symbol_517 = 0u;
  thread uint tint_symbol_518 = 0u;
  thread uint tint_symbol_519 = 0u;
  thread uint tint_symbol_520 = 0u;
  thread uint tint_symbol_521 = 0u;
  thread uint tint_symbol_522 = 0u;
  thread uint tint_symbol_523 = 0u;
  thread uint tint_symbol_524 = 0u;
  thread uint tint_symbol_525 = 0u;
  thread uint tint_symbol_526 = 0u;
  thread uint tint_symbol_527 = 0u;
  thread uint tint_symbol_528 = 0u;
  thread uint tint_symbol_529 = 0u;
  thread uint tint_symbol_530 = 0u;
  thread uint tint_symbol_531 = 0u;
  thread uint tint_symbol_532 = 0u;
  thread uint tint_symbol_533 = 0u;
  thread uint tint_symbol_534 = 0u;
  thread uint tint_symbol_535 = 0u;
  thread uint tint_symbol_536 = 0u;
  thread uint tint_symbol_537 = 0u;
  thread uint tint_symbol_538 = 0u;
  thread uint tint_symbol_539 = 0u;
  thread uint tint_symbol_540 = 0u;
  thread uint tint_symbol_541 = 0u;
  thread uint tint_symbol_542 = 0u;
  thread uint tint_symbol_543 = 0u;
  thread uint tint_symbol_544 = 0u;
  thread uint tint_symbol_545 = 0u;
  thread uint tint_symbol_546 = 0u;
  thread uint tint_symbol_547 = 0u;
  thread uint tint_symbol_548 = 0u;
  thread uint tint_symbol_549 = 0u;
  thread uint tint_symbol_550 = 0u;
  thread uint tint_symbol_551 = 0u;
  thread uint tint_symbol_552 = 0u;
  thread uint tint_symbol_553 = 0u;
  thread uint tint_symbol_554 = 0u;
  thread uint tint_symbol_555 = 0u;
  thread uint tint_symbol_556 = 0u;
  thread uint tint_symbol_557 = 0u;
  thread uint tint_symbol_558 = 0u;
  thread uint tint_symbol_559 = 0u;
  thread uint tint_symbol_560 = 0u;
  thread uint tint_symbol_561 = 0u;
  thread uint tint_symbol_562 = 0u;
  thread uint tint_symbol_563 = 0u;
  thread uint tint_symbol_564 = 0u;
  thread uint tint_symbol_565 = 0u;
  thread uint tint_symbol_566 = 0u;
  thread uint tint_symbol_567 = 0u;
  thread uint tint_symbol_568 = 0u;
  thread uint tint_symbol_569 = 0u;
  thread uint tint_symbol_570 = 0u;
  thread uint tint_symbol_571 = 0u;
  thread uint tint_symbol_572 = 0u;
  thread uint tint_symbol_573 = 0u;
  thread uint tint_symbol_574 = 0u;
  thread uint tint_symbol_575 = 0u;
  thread uint tint_symbol_576 = 0u;
  thread uint tint_symbol_577 = 0u;
  thread uint tint_symbol_578 = 0u;
  thread uint tint_symbol_579 = 0u;
  thread uint tint_symbol_580 = 0u;
  thread uint tint_symbol_581 = 0u;
  thread uint tint_symbol_582 = 0u;
  thread uint tint_symbol_583 = 0u;
  thread uint tint_symbol_584 = 0u;
  thread uint tint_symbol_585 = 0u;
  thread uint tint_symbol_586 = 0u;
  thread uint tint_symbol_587 = 0u;
  thread uint tint_symbol_588 = 0u;
  thread uint tint_symbol_589 = 0u;
  thread uint tint_symbol_590 = 0u;
  thread uint tint_symbol_591 = 0u;
  thread uint tint_symbol_592 = 0u;
  thread uint tint_symbol_593 = 0u;
  thread uint tint_symbol_594 = 0u;
  thread uint tint_symbol_595 = 0u;
  thread uint tint_symbol_596 = 0u;
  thread uint tint_symbol_597 = 0u;
  thread uint tint_symbol_598 = 0u;
  thread uint tint_symbol_599 = 0u;
  thread uint tint_symbol_600 = 0u;
  thread uint tint_symbol_601 = 0u;
  thread uint tint_symbol_602 = 0u;
  thread uint tint_symbol_603 = 0u;
  thread uint tint_symbol_604 = 0u;
  thread uint tint_symbol_605 = 0u;
  thread uint tint_symbol_606 = 0u;
  thread uint tint_symbol_607 = 0u;
  thread uint tint_symbol_608 = 0u;
  thread uint tint_symbol_609 = 0u;
  thread uint tint_symbol_610 = 0u;
  thread uint tint_symbol_611 = 0u;
  thread uint tint_symbol_612 = 0u;
  thread uint tint_symbol_613 = 0u;
  thread uint tint_symbol_614 = 0u;
  thread uint tint_symbol_615 = 0u;
  thread uint tint_symbol_616 = 0u;
  thread uint tint_symbol_617 = 0u;
  thread uint tint_symbol_618 = 0u;
  thread uint tint_symbol_619 = 0u;
  thread uint tint_symbol_620 = 0u;
  thread uint tint_symbol_621 = 0u;
  thread uint tint_symbol_622 = 0u;
  thread uint tint_symbol_623 = 0u;
  thread uint tint_symbol_624 = 0u;
  thread uint tint_symbol_625 = 0u;
  thread uint tint_symbol_626 = 0u;
  thread uint tint_symbol_627 = 0u;
  thread uint tint_symbol_628 = 0u;
  thread uint tint_symbol_629 = 0u;
  thread uint tint_symbol_630 = 0u;
  thread uint tint_symbol_631 = 0u;
  thread uint tint_symbol_632 = 0u;
  thread uint tint_symbol_633 = 0u;
  thread uint tint_symbol_634 = 0u;
  thread uint tint_symbol_635 = 0u;
  thread uint tint_symbol_636 = 0u;
  thread uint tint_symbol_637 = 0u;
  thread uint tint_symbol_638 = 0u;
  thread uint tint_symbol_639 = 0u;
  thread uint tint_symbol_640 = 0u;
  thread uint tint_symbol_641 = 0u;
  thread uint tint_symbol_642 = 0u;
  thread uint tint_symbol_643 = 0u;
  thread uint tint_symbol_644 = 0u;
  thread uint tint_symbol_645 = 0u;
  thread uint tint_symbol_646 = 0u;
  thread uint tint_symbol_647 = 0u;
  thread uint tint_symbol_648 = 0u;
  thread uint tint_symbol_649 = 0u;
  thread uint tint_symbol_650 = 0u;
  thread uint tint_symbol_651 = 0u;
  thread uint tint_symbol_652 = 0u;
  thread uint tint_symbol_653 = 0u;
  thread uint tint_symbol_654 = 0u;
  thread uint tint_symbol_655 = 0u;
  thread uint tint_symbol_656 = 0u;
  thread uint tint_symbol_657 = 0u;
  thread uint tint_symbol_658 = 0u;
  thread uint tint_symbol_659 = 0u;
  thread uint tint_symbol_660 = 0u;
  thread uint tint_symbol_661 = 0u;
  thread uint tint_symbol_662 = 0u;
  thread uint tint_symbol_663 = 0u;
  thread uint tint_symbol_664 = 0u;
  thread uint tint_symbol_665 = 0u;
  thread uint tint_symbol_666 = 0u;
  thread uint tint_symbol_667 = 0u;
  thread uint tint_symbol_668 = 0u;
  thread uint tint_symbol_669 = 0u;
  thread uint tint_symbol_670 = 0u;
  thread uint tint_symbol_671 = 0u;
  thread uint tint_symbol_672 = 0u;
  thread uint tint_symbol_673 = 0u;
  thread uint tint_symbol_674 = 0u;
  thread uint tint_symbol_675 = 0u;
  thread uint tint_symbol_676 = 0u;
  thread uint tint_symbol_677 = 0u;
  thread uint tint_symbol_678 = 0u;
  thread uint tint_symbol_679 = 0u;
  thread uint tint_symbol_680 = 0u;
  thread uint tint_symbol_681 = 0u;
  thread uint tint_symbol_682 = 0u;
  thread uint tint_symbol_683 = 0u;
  thread uint tint_symbol_684 = 0u;
  thread uint tint_symbol_685 = 0u;
  thread uint tint_symbol_686 = 0u;
  thread uint tint_symbol_687 = 0u;
  thread uint tint_symbol_688 = 0u;
  thread uint tint_symbol_689 = 0u;
  thread uint tint_symbol_690 = 0u;
  thread uint tint_symbol_691 = 0u;
  thread uint tint_symbol_692 = 0u;
  thread uint tint_symbol_693 = 0u;
  thread uint tint_symbol_694 = 0u;
  thread uint tint_symbol_695 = 0u;
  thread uint tint_symbol_696 = 0u;
  thread uint tint_symbol_697 = 0u;
  thread uint tint_symbol_698 = 0u;
  thread uint tint_symbol_699 = 0u;
  thread uint tint_symbol_700 = 0u;
  thread uint tint_symbol_701 = 0u;
  thread uint tint_symbol_702 = 0u;
  thread uint tint_symbol_703 = 0u;
  thread uint tint_symbol_704 = 0u;
  thread uint tint_symbol_705 = 0u;
  thread uint tint_symbol_706 = 0u;
  thread uint tint_symbol_707 = 0u;
  thread uint tint_symbol_708 = 0u;
  thread uint tint_symbol_709 = 0u;
  thread uint tint_symbol_710 = 0u;
  thread uint tint_symbol_711 = 0u;
  thread uint tint_symbol_712 = 0u;
  thread uint tint_symbol_713 = 0u;
  thread uint tint_symbol_714 = 0u;
  thread uint tint_symbol_715 = 0u;
  thread uint tint_symbol_716 = 0u;
  thread uint tint_symbol_717 = 0u;
  thread uint tint_symbol_718 = 0u;
  thread uint tint_symbol_719 = 0u;
  thread uint tint_symbol_720 = 0u;
  thread uint tint_symbol_721 = 0u;
  thread uint tint_symbol_722 = 0u;
  thread uint tint_symbol_723 = 0u;
  thread uint tint_symbol_724 = 0u;
  thread uint tint_symbol_725 = 0u;
  thread uint tint_symbol_726 = 0u;
  thread uint tint_symbol_727 = 0u;
  thread uint tint_symbol_728 = 0u;
  thread uint tint_symbol_729 = 0u;
  thread uint tint_symbol_730 = 0u;
  thread uint tint_symbol_731 = 0u;
  thread uint tint_symbol_732 = 0u;
  thread uint tint_symbol_733 = 0u;
  thread uint tint_symbol_734 = 0u;
  thread uint tint_symbol_735 = 0u;
  thread uint tint_symbol_736 = 0u;
  thread uint tint_symbol_737 = 0u;
  thread uint tint_symbol_738 = 0u;
  thread uint tint_symbol_739 = 0u;
  thread uint tint_symbol_740 = 0u;
  thread uint tint_symbol_741 = 0u;
  thread uint tint_symbol_742 = 0u;
  thread uint tint_symbol_743 = 0u;
  thread uint tint_symbol_744 = 0u;
  thread uint tint_symbol_745 = 0u;
  thread uint tint_symbol_746 = 0u;
  thread uint tint_symbol_747 = 0u;
  thread uint tint_symbol_748 = 0u;
  thread uint tint_symbol_749 = 0u;
  thread uint tint_symbol_750 = 0u;
  thread uint tint_symbol_751 = 0u;
  thread uint tint_symbol_752 = 0u;
  thread uint tint_symbol_753 = 0u;
  thread uint tint_symbol_754 = 0u;
  thread uint tint_symbol_755 = 0u;
  thread uint tint_symbol_756 = 0u;
  thread uint tint_symbol_757 = 0u;
  thread uint tint_symbol_758 = 0u;
  thread uint tint_symbol_759 = 0u;
  thread uint tint_symbol_760 = 0u;
  thread uint tint_symbol_761 = 0u;
  thread uint tint_symbol_762 = 0u;
  thread uint tint_symbol_763 = 0u;
  thread uint tint_symbol_764 = 0u;
  thread uint tint_symbol_765 = 0u;
  thread uint tint_symbol_766 = 0u;
  thread uint tint_symbol_767 = 0u;
  thread uint tint_symbol_768 = 0u;
  thread uint tint_symbol_769 = 0u;
  thread uint tint_symbol_770 = 0u;
  thread uint tint_symbol_771 = 0u;
  thread uint tint_symbol_772 = 0u;
  thread uint tint_symbol_773 = 0u;
  thread uint tint_symbol_774 = 0u;
  thread uint tint_symbol_775 = 0u;
  thread uint tint_symbol_776 = 0u;
  thread uint tint_symbol_777 = 0u;
  thread uint tint_symbol_778 = 0u;
  thread uint tint_symbol_779 = 0u;
  thread uint tint_symbol_780 = 0u;
  thread uint tint_symbol_781 = 0u;
  thread uint tint_symbol_782 = 0u;
  thread uint tint_symbol_783 = 0u;
  thread uint tint_symbol_784 = 0u;
  thread uint tint_symbol_785 = 0u;
  thread uint tint_symbol_786 = 0u;
  thread uint tint_symbol_787 = 0u;
  thread uint tint_symbol_788 = 0u;
  thread uint tint_symbol_789 = 0u;
  thread uint tint_symbol_790 = 0u;
  thread uint tint_symbol_791 = 0u;
  thread uint tint_symbol_792 = 0u;
  thread uint tint_symbol_793 = 0u;
  thread uint tint_symbol_794 = 0u;
  thread uint tint_symbol_795 = 0u;
  thread uint tint_symbol_796 = 0u;
  thread uint tint_symbol_797 = 0u;
  thread uint tint_symbol_798 = 0u;
  thread uint tint_symbol_799 = 0u;
  thread uint tint_symbol_800 = 0u;
  thread uint tint_symbol_801 = 0u;
  thread uint tint_symbol_802 = 0u;
  thread uint tint_symbol_803 = 0u;
  thread uint tint_symbol_804 = 0u;
  thread uint tint_symbol_805 = 0u;
  thread uint tint_symbol_806 = 0u;
  thread uint tint_symbol_807 = 0u;
  thread uint tint_symbol_808 = 0u;
  thread uint tint_symbol_809 = 0u;
  thread uint tint_symbol_810 = 0u;
  thread uint tint_symbol_811 = 0u;
  thread uint tint_symbol_812 = 0u;
  thread uint tint_symbol_813 = 0u;
  thread uint tint_symbol_814 = 0u;
  thread uint tint_symbol_815 = 0u;
  thread uint tint_symbol_816 = 0u;
  thread uint tint_symbol_817 = 0u;
  thread uint tint_symbol_818 = 0u;
  thread uint tint_symbol_819 = 0u;
  thread uint tint_symbol_820 = 0u;
  thread uint tint_symbol_821 = 0u;
  thread uint tint_symbol_822 = 0u;
  thread uint tint_symbol_823 = 0u;
  thread uint tint_symbol_824 = 0u;
  thread uint tint_symbol_825 = 0u;
  thread uint tint_symbol_826 = 0u;
  thread uint tint_symbol_827 = 0u;
  thread uint tint_symbol_828 = 0u;
  thread uint tint_symbol_829 = 0u;
  thread uint tint_symbol_830 = 0u;
  thread uint tint_symbol_831 = 0u;
  thread uint tint_symbol_832 = 0u;
  thread uint tint_symbol_833 = 0u;
  thread uint tint_symbol_834 = 0u;
  thread uint tint_symbol_835 = 0u;
  thread uint tint_symbol_836 = 0u;
  thread uint tint_symbol_837 = 0u;
  thread uint tint_symbol_838 = 0u;
  thread uint tint_symbol_839 = 0u;
  thread uint tint_symbol_840 = 0u;
  thread uint tint_symbol_841 = 0u;
  thread uint tint_symbol_842 = 0u;
  thread uint tint_symbol_843 = 0u;
  thread uint tint_symbol_844 = 0u;
  thread uint tint_symbol_845 = 0u;
  thread uint tint_symbol_846 = 0u;
  thread uint tint_symbol_847 = 0u;
  thread uint tint_symbol_848 = 0u;
  thread uint tint_symbol_849 = 0u;
  thread uint tint_symbol_850 = 0u;
  thread uint tint_symbol_851 = 0u;
  thread uint tint_symbol_852 = 0u;
  thread uint tint_symbol_853 = 0u;
  thread uint tint_symbol_854 = 0u;
  thread uint tint_symbol_855 = 0u;
  thread uint tint_symbol_856 = 0u;
  thread uint tint_symbol_857 = 0u;
  thread uint tint_symbol_858 = 0u;
  thread uint tint_symbol_859 = 0u;
  thread uint tint_symbol_860 = 0u;
  thread uint tint_symbol_861 = 0u;
  thread uint tint_symbol_862 = 0u;
  thread uint tint_symbol_863 = 0u;
  thread uint tint_symbol_864 = 0u;
  thread uint tint_symbol_865 = 0u;
  thread uint tint_symbol_866 = 0u;
  thread uint tint_symbol_867 = 0u;
  thread uint tint_symbol_868 = 0u;
  thread uint tint_symbol_869 = 0u;
  thread uint tint_symbol_870 = 0u;
  thread uint tint_symbol_871 = 0u;
  thread uint tint_symbol_872 = 0u;
  thread uint tint_symbol_873 = 0u;
  thread uint tint_symbol_874 = 0u;
  thread uint tint_symbol_875 = 0u;
  thread uint tint_symbol_876 = 0u;
  thread uint tint_symbol_877 = 0u;
  thread uint tint_symbol_878 = 0u;
  thread uint tint_symbol_879 = 0u;
  thread uint tint_symbol_880 = 0u;
  thread uint tint_symbol_881 = 0u;
  thread uint tint_symbol_882 = 0u;
  thread uint tint_symbol_883 = 0u;
  thread uint tint_symbol_884 = 0u;
  thread uint tint_symbol_885 = 0u;
  thread uint tint_symbol_886 = 0u;
  thread uint tint_symbol_887 = 0u;
  thread uint tint_symbol_888 = 0u;
  thread uint tint_symbol_889 = 0u;
  thread uint tint_symbol_890 = 0u;
  thread uint tint_symbol_891 = 0u;
  thread uint tint_symbol_892 = 0u;
  thread uint tint_symbol_893 = 0u;
  thread uint tint_symbol_894 = 0u;
  thread uint tint_symbol_895 = 0u;
  thread uint tint_symbol_896 = 0u;
  thread uint tint_symbol_897 = 0u;
  thread uint tint_symbol_898 = 0u;
  thread uint tint_symbol_899 = 0u;
  thread uint tint_symbol_900 = 0u;
  thread uint tint_symbol_901 = 0u;
  thread uint tint_symbol_902 = 0u;
  thread uint tint_symbol_903 = 0u;
  thread uint tint_symbol_904 = 0u;
  thread uint tint_symbol_905 = 0u;
  thread uint tint_symbol_906 = 0u;
  thread uint tint_symbol_907 = 0u;
  thread uint tint_symbol_908 = 0u;
  thread uint tint_symbol_909 = 0u;
  thread uint tint_symbol_910 = 0u;
  thread uint tint_symbol_911 = 0u;
  thread uint tint_symbol_912 = 0u;
  thread uint tint_symbol_913 = 0u;
  thread uint tint_symbol_914 = 0u;
  thread uint tint_symbol_915 = 0u;
  thread uint tint_symbol_916 = 0u;
  thread uint tint_symbol_917 = 0u;
  thread uint tint_symbol_918 = 0u;
  thread uint tint_symbol_919 = 0u;
  thread uint tint_symbol_920 = 0u;
  thread uint tint_symbol_921 = 0u;
  thread uint tint_symbol_922 = 0u;
  thread uint tint_symbol_923 = 0u;
  thread uint tint_symbol_924 = 0u;
  thread uint tint_symbol_925 = 0u;
  thread uint tint_symbol_926 = 0u;
  thread uint tint_symbol_927 = 0u;
  thread uint tint_symbol_928 = 0u;
  thread uint tint_symbol_929 = 0u;
  thread uint tint_symbol_930 = 0u;
  thread uint tint_symbol_931 = 0u;
  thread uint tint_symbol_932 = 0u;
  thread uint tint_symbol_933 = 0u;
  thread uint tint_symbol_934 = 0u;
  thread uint tint_symbol_935 = 0u;
  thread uint tint_symbol_936 = 0u;
  thread uint tint_symbol_937 = 0u;
  thread uint tint_symbol_938 = 0u;
  thread uint tint_symbol_939 = 0u;
  thread uint tint_symbol_940 = 0u;
  thread uint tint_symbol_941 = 0u;
  thread uint tint_symbol_942 = 0u;
  thread uint tint_symbol_943 = 0u;
  thread uint tint_symbol_944 = 0u;
  thread uint tint_symbol_945 = 0u;
  thread uint tint_symbol_946 = 0u;
  thread uint tint_symbol_947 = 0u;
  thread uint tint_symbol_948 = 0u;
  thread uint tint_symbol_949 = 0u;
  thread uint tint_symbol_950 = 0u;
  thread uint tint_symbol_951 = 0u;
  thread uint tint_symbol_952 = 0u;
  thread uint tint_symbol_953 = 0u;
  thread uint tint_symbol_954 = 0u;
  thread uint tint_symbol_955 = 0u;
  thread uint tint_symbol_956 = 0u;
  thread uint tint_symbol_957 = 0u;
  thread uint tint_symbol_958 = 0u;
  thread uint tint_symbol_959 = 0u;
  thread uint tint_symbol_960 = 0u;
  thread uint tint_symbol_961 = 0u;
  thread uint tint_symbol_962 = 0u;
  thread uint tint_symbol_963 = 0u;
  thread uint tint_symbol_964 = 0u;
  thread uint tint_symbol_965 = 0u;
  thread uint tint_symbol_966 = 0u;
  thread uint tint_symbol_967 = 0u;
  thread uint tint_symbol_968 = 0u;
  thread uint tint_symbol_969 = 0u;
  thread uint tint_symbol_970 = 0u;
  thread uint tint_symbol_971 = 0u;
  thread uint tint_symbol_972 = 0u;
  thread uint tint_symbol_973 = 0u;
  thread uint tint_symbol_974 = 0u;
  thread uint tint_symbol_975 = 0u;
  thread uint tint_symbol_976 = 0u;
  thread uint tint_symbol_977 = 0u;
  thread uint tint_symbol_978 = 0u;
  thread uint tint_symbol_979 = 0u;
  thread uint tint_symbol_980 = 0u;
  thread uint tint_symbol_981 = 0u;
  thread uint tint_symbol_982 = 0u;
  thread uint tint_symbol_983 = 0u;
  thread uint tint_symbol_984 = 0u;
  thread uint tint_symbol_985 = 0u;
  thread uint tint_symbol_986 = 0u;
  thread uint tint_symbol_987 = 0u;
  thread uint tint_symbol_988 = 0u;
  thread uint tint_symbol_989 = 0u;
  thread uint tint_symbol_990 = 0u;
  thread uint tint_symbol_991 = 0u;
  thread uint tint_symbol_992 = 0u;
  thread uint tint_symbol_993 = 0u;
  thread uint tint_symbol_994 = 0u;
  thread uint tint_symbol_995 = 0u;
  thread uint tint_symbol_996 = 0u;
  thread uint tint_symbol_997 = 0u;
  thread uint tint_symbol_998 = 0u;
  thread uint tint_symbol_999 = 0u;
  thread uint tint_symbol_1000 = 0u;
  thread uint tint_symbol_1001 = 0u;
  uint x = 0u;
  x = (x + tint_symbol_2);
  x = (x + tint_symbol_3);
  x = (x + tint_symbol_4);
  x = (x + tint_symbol_5);
  x = (x + tint_symbol_6);
  x = (x + tint_symbol_7);
  x = (x + tint_symbol_8);
  x = (x + tint_symbol_9);
  x = (x + tint_symbol_10);
  x = (x + tint_symbol_11);
  x = (x + tint_symbol_12);
  x = (x + tint_symbol_13);
  x = (x + tint_symbol_14);
  x = (x + tint_symbol_15);
  x = (x + tint_symbol_16);
  x = (x + tint_symbol_17);
  x = (x + tint_symbol_18);
  x = (x + tint_symbol_19);
  x = (x + tint_symbol_20);
  x = (x + tint_symbol_21);
  x = (x + tint_symbol_22);
  x = (x + tint_symbol_23);
  x = (x + tint_symbol_24);
  x = (x + tint_symbol_25);
  x = (x + tint_symbol_26);
  x = (x + tint_symbol_27);
  x = (x + tint_symbol_28);
  x = (x + tint_symbol_29);
  x = (x + tint_symbol_30);
  x = (x + tint_symbol_31);
  x = (x + tint_symbol_32);
  x = (x + tint_symbol_33);
  x = (x + tint_symbol_34);
  x = (x + tint_symbol_35);
  x = (x + tint_symbol_36);
  x = (x + tint_symbol_37);
  x = (x + tint_symbol_38);
  x = (x + tint_symbol_39);
  x = (x + tint_symbol_40);
  x = (x + tint_symbol_41);
  x = (x + tint_symbol_42);
  x = (x + tint_symbol_43);
  x = (x + tint_symbol_44);
  x = (x + tint_symbol_45);
  x = (x + tint_symbol_46);
  x = (x + tint_symbol_47);
  x = (x + tint_symbol_48);
  x = (x + tint_symbol_49);
  x = (x + tint_symbol_50);
  x = (x + tint_symbol_51);
  x = (x + tint_symbol_52);
  x = (x + tint_symbol_53);
  x = (x + tint_symbol_54);
  x = (x + tint_symbol_55);
  x = (x + tint_symbol_56);
  x = (x + tint_symbol_57);
  x = (x + tint_symbol_58);
  x = (x + tint_symbol_59);
  x = (x + tint_symbol_60);
  x = (x + tint_symbol_61);
  x = (x + tint_symbol_62);
  x = (x + tint_symbol_63);
  x = (x + tint_symbol_64);
  x = (x + tint_symbol_65);
  x = (x + tint_symbol_66);
  x = (x + tint_symbol_67);
  x = (x + tint_symbol_68);
  x = (x + tint_symbol_69);
  x = (x + tint_symbol_70);
  x = (x + tint_symbol_71);
  x = (x + tint_symbol_72);
  x = (x + tint_symbol_73);
  x = (x + tint_symbol_74);
  x = (x + tint_symbol_75);
  x = (x + tint_symbol_76);
  x = (x + tint_symbol_77);
  x = (x + tint_symbol_78);
  x = (x + tint_symbol_79);
  x = (x + tint_symbol_80);
  x = (x + tint_symbol_81);
  x = (x + tint_symbol_82);
  x = (x + tint_symbol_83);
  x = (x + tint_symbol_84);
  x = (x + tint_symbol_85);
  x = (x + tint_symbol_86);
  x = (x + tint_symbol_87);
  x = (x + tint_symbol_88);
  x = (x + tint_symbol_89);
  x = (x + tint_symbol_90);
  x = (x + tint_symbol_91);
  x = (x + tint_symbol_92);
  x = (x + tint_symbol_93);
  x = (x + tint_symbol_94);
  x = (x + tint_symbol_95);
  x = (x + tint_symbol_96);
  x = (x + tint_symbol_97);
  x = (x + tint_symbol_98);
  x = (x + tint_symbol_99);
  x = (x + tint_symbol_100);
  x = (x + tint_symbol_101);
  x = (x + tint_symbol_102);
  x = (x + tint_symbol_103);
  x = (x + tint_symbol_104);
  x = (x + tint_symbol_105);
  x = (x + tint_symbol_106);
  x = (x + tint_symbol_107);
  x = (x + tint_symbol_108);
  x = (x + tint_symbol_109);
  x = (x + tint_symbol_110);
  x = (x + tint_symbol_111);
  x = (x + tint_symbol_112);
  x = (x + tint_symbol_113);
  x = (x + tint_symbol_114);
  x = (x + tint_symbol_115);
  x = (x + tint_symbol_116);
  x = (x + tint_symbol_117);
  x = (x + tint_symbol_118);
  x = (x + tint_symbol_119);
  x = (x + tint_symbol_120);
  x = (x + tint_symbol_121);
  x = (x + tint_symbol_122);
  x = (x + tint_symbol_123);
  x = (x + tint_symbol_124);
  x = (x + tint_symbol_125);
  x = (x + tint_symbol_126);
  x = (x + tint_symbol_127);
  x = (x + tint_symbol_128);
  x = (x + tint_symbol_129);
  x = (x + tint_symbol_130);
  x = (x + tint_symbol_131);
  x = (x + tint_symbol_132);
  x = (x + tint_symbol_133);
  x = (x + tint_symbol_134);
  x = (x + tint_symbol_135);
  x = (x + tint_symbol_136);
  x = (x + tint_symbol_137);
  x = (x + tint_symbol_138);
  x = (x + tint_symbol_139);
  x = (x + tint_symbol_140);
  x = (x + tint_symbol_141);
  x = (x + tint_symbol_142);
  x = (x + tint_symbol_143);
  x = (x + tint_symbol_144);
  x = (x + tint_symbol_145);
  x = (x + tint_symbol_146);
  x = (x + tint_symbol_147);
  x = (x + tint_symbol_148);
  x = (x + tint_symbol_149);
  x = (x + tint_symbol_150);
  x = (x + tint_symbol_151);
  x = (x + tint_symbol_152);
  x = (x + tint_symbol_153);
  x = (x + tint_symbol_154);
  x = (x + tint_symbol_155);
  x = (x + tint_symbol_156);
  x = (x + tint_symbol_157);
  x = (x + tint_symbol_158);
  x = (x + tint_symbol_159);
  x = (x + tint_symbol_160);
  x = (x + tint_symbol_161);
  x = (x + tint_symbol_162);
  x = (x + tint_symbol_163);
  x = (x + tint_symbol_164);
  x = (x + tint_symbol_165);
  x = (x + tint_symbol_166);
  x = (x + tint_symbol_167);
  x = (x + tint_symbol_168);
  x = (x + tint_symbol_169);
  x = (x + tint_symbol_170);
  x = (x + tint_symbol_171);
  x = (x + tint_symbol_172);
  x = (x + tint_symbol_173);
  x = (x + tint_symbol_174);
  x = (x + tint_symbol_175);
  x = (x + tint_symbol_176);
  x = (x + tint_symbol_177);
  x = (x + tint_symbol_178);
  x = (x + tint_symbol_179);
  x = (x + tint_symbol_180);
  x = (x + tint_symbol_181);
  x = (x + tint_symbol_182);
  x = (x + tint_symbol_183);
  x = (x + tint_symbol_184);
  x = (x + tint_symbol_185);
  x = (x + tint_symbol_186);
  x = (x + tint_symbol_187);
  x = (x + tint_symbol_188);
  x = (x + tint_symbol_189);
  x = (x + tint_symbol_190);
  x = (x + tint_symbol_191);
  x = (x + tint_symbol_192);
  x = (x + tint_symbol_193);
  x = (x + tint_symbol_194);
  x = (x + tint_symbol_195);
  x = (x + tint_symbol_196);
  x = (x + tint_symbol_197);
  x = (x + tint_symbol_198);
  x = (x + tint_symbol_199);
  x = (x + tint_symbol_200);
  x = (x + tint_symbol_201);
  x = (x + tint_symbol_202);
  x = (x + tint_symbol_203);
  x = (x + tint_symbol_204);
  x = (x + tint_symbol_205);
  x = (x + tint_symbol_206);
  x = (x + tint_symbol_207);
  x = (x + tint_symbol_208);
  x = (x + tint_symbol_209);
  x = (x + tint_symbol_210);
  x = (x + tint_symbol_211);
  x = (x + tint_symbol_212);
  x = (x + tint_symbol_213);
  x = (x + tint_symbol_214);
  x = (x + tint_symbol_215);
  x = (x + tint_symbol_216);
  x = (x + tint_symbol_217);
  x = (x + tint_symbol_218);
  x = (x + tint_symbol_219);
  x = (x + tint_symbol_220);
  x = (x + tint_symbol_221);
  x = (x + tint_symbol_222);
  x = (x + tint_symbol_223);
  x = (x + tint_symbol_224);
  x = (x + tint_symbol_225);
  x = (x + tint_symbol_226);
  x = (x + tint_symbol_227);
  x = (x + tint_symbol_228);
  x = (x + tint_symbol_229);
  x = (x + tint_symbol_230);
  x = (x + tint_symbol_231);
  x = (x + tint_symbol_232);
  x = (x + tint_symbol_233);
  x = (x + tint_symbol_234);
  x = (x + tint_symbol_235);
  x = (x + tint_symbol_236);
  x = (x + tint_symbol_237);
  x = (x + tint_symbol_238);
  x = (x + tint_symbol_239);
  x = (x + tint_symbol_240);
  x = (x + tint_symbol_241);
  x = (x + tint_symbol_242);
  x = (x + tint_symbol_243);
  x = (x + tint_symbol_244);
  x = (x + tint_symbol_245);
  x = (x + tint_symbol_246);
  x = (x + tint_symbol_247);
  x = (x + tint_symbol_248);
  x = (x + tint_symbol_249);
  x = (x + tint_symbol_250);
  x = (x + tint_symbol_251);
  x = (x + tint_symbol_252);
  x = (x + tint_symbol_253);
  x = (x + tint_symbol_254);
  x = (x + tint_symbol_255);
  x = (x + tint_symbol_256);
  x = (x + tint_symbol_257);
  x = (x + tint_symbol_258);
  x = (x + tint_symbol_259);
  x = (x + tint_symbol_260);
  x = (x + tint_symbol_261);
  x = (x + tint_symbol_262);
  x = (x + tint_symbol_263);
  x = (x + tint_symbol_264);
  x = (x + tint_symbol_265);
  x = (x + tint_symbol_266);
  x = (x + tint_symbol_267);
  x = (x + tint_symbol_268);
  x = (x + tint_symbol_269);
  x = (x + tint_symbol_270);
  x = (x + tint_symbol_271);
  x = (x + tint_symbol_272);
  x = (x + tint_symbol_273);
  x = (x + tint_symbol_274);
  x = (x + tint_symbol_275);
  x = (x + tint_symbol_276);
  x = (x + tint_symbol_277);
  x = (x + tint_symbol_278);
  x = (x + tint_symbol_279);
  x = (x + tint_symbol_280);
  x = (x + tint_symbol_281);
  x = (x + tint_symbol_282);
  x = (x + tint_symbol_283);
  x = (x + tint_symbol_284);
  x = (x + tint_symbol_285);
  x = (x + tint_symbol_286);
  x = (x + tint_symbol_287);
  x = (x + tint_symbol_288);
  x = (x + tint_symbol_289);
  x = (x + tint_symbol_290);
  x = (x + tint_symbol_291);
  x = (x + tint_symbol_292);
  x = (x + tint_symbol_293);
  x = (x + tint_symbol_294);
  x = (x + tint_symbol_295);
  x = (x + tint_symbol_296);
  x = (x + tint_symbol_297);
  x = (x + tint_symbol_298);
  x = (x + tint_symbol_299);
  x = (x + tint_symbol_300);
  x = (x + tint_symbol_301);
  x = (x + tint_symbol_302);
  x = (x + tint_symbol_303);
  x = (x + tint_symbol_304);
  x = (x + tint_symbol_305);
  x = (x + tint_symbol_306);
  x = (x + tint_symbol_307);
  x = (x + tint_symbol_308);
  x = (x + tint_symbol_309);
  x = (x + tint_symbol_310);
  x = (x + tint_symbol_311);
  x = (x + tint_symbol_312);
  x = (x + tint_symbol_313);
  x = (x + tint_symbol_314);
  x = (x + tint_symbol_315);
  x = (x + tint_symbol_316);
  x = (x + tint_symbol_317);
  x = (x + tint_symbol_318);
  x = (x + tint_symbol_319);
  x = (x + tint_symbol_320);
  x = (x + tint_symbol_321);
  x = (x + tint_symbol_322);
  x = (x + tint_symbol_323);
  x = (x + tint_symbol_324);
  x = (x + tint_symbol_325);
  x = (x + tint_symbol_326);
  x = (x + tint_symbol_327);
  x = (x + tint_symbol_328);
  x = (x + tint_symbol_329);
  x = (x + tint_symbol_330);
  x = (x + tint_symbol_331);
  x = (x + tint_symbol_332);
  x = (x + tint_symbol_333);
  x = (x + tint_symbol_334);
  x = (x + tint_symbol_335);
  x = (x + tint_symbol_336);
  x = (x + tint_symbol_337);
  x = (x + tint_symbol_338);
  x = (x + tint_symbol_339);
  x = (x + tint_symbol_340);
  x = (x + tint_symbol_341);
  x = (x + tint_symbol_342);
  x = (x + tint_symbol_343);
  x = (x + tint_symbol_344);
  x = (x + tint_symbol_345);
  x = (x + tint_symbol_346);
  x = (x + tint_symbol_347);
  x = (x + tint_symbol_348);
  x = (x + tint_symbol_349);
  x = (x + tint_symbol_350);
  x = (x + tint_symbol_351);
  x = (x + tint_symbol_352);
  x = (x + tint_symbol_353);
  x = (x + tint_symbol_354);
  x = (x + tint_symbol_355);
  x = (x + tint_symbol_356);
  x = (x + tint_symbol_357);
  x = (x + tint_symbol_358);
  x = (x + tint_symbol_359);
  x = (x + tint_symbol_360);
  x = (x + tint_symbol_361);
  x = (x + tint_symbol_362);
  x = (x + tint_symbol_363);
  x = (x + tint_symbol_364);
  x = (x + tint_symbol_365);
  x = (x + tint_symbol_366);
  x = (x + tint_symbol_367);
  x = (x + tint_symbol_368);
  x = (x + tint_symbol_369);
  x = (x + tint_symbol_370);
  x = (x + tint_symbol_371);
  x = (x + tint_symbol_372);
  x = (x + tint_symbol_373);
  x = (x + tint_symbol_374);
  x = (x + tint_symbol_375);
  x = (x + tint_symbol_376);
  x = (x + tint_symbol_377);
  x = (x + tint_symbol_378);
  x = (x + tint_symbol_379);
  x = (x + tint_symbol_380);
  x = (x + tint_symbol_381);
  x = (x + tint_symbol_382);
  x = (x + tint_symbol_383);
  x = (x + tint_symbol_384);
  x = (x + tint_symbol_385);
  x = (x + tint_symbol_386);
  x = (x + tint_symbol_387);
  x = (x + tint_symbol_388);
  x = (x + tint_symbol_389);
  x = (x + tint_symbol_390);
  x = (x + tint_symbol_391);
  x = (x + tint_symbol_392);
  x = (x + tint_symbol_393);
  x = (x + tint_symbol_394);
  x = (x + tint_symbol_395);
  x = (x + tint_symbol_396);
  x = (x + tint_symbol_397);
  x = (x + tint_symbol_398);
  x = (x + tint_symbol_399);
  x = (x + tint_symbol_400);
  x = (x + tint_symbol_401);
  x = (x + tint_symbol_402);
  x = (x + tint_symbol_403);
  x = (x + tint_symbol_404);
  x = (x + tint_symbol_405);
  x = (x + tint_symbol_406);
  x = (x + tint_symbol_407);
  x = (x + tint_symbol_408);
  x = (x + tint_symbol_409);
  x = (x + tint_symbol_410);
  x = (x + tint_symbol_411);
  x = (x + tint_symbol_412);
  x = (x + tint_symbol_413);
  x = (x + tint_symbol_414);
  x = (x + tint_symbol_415);
  x = (x + tint_symbol_416);
  x = (x + tint_symbol_417);
  x = (x + tint_symbol_418);
  x = (x + tint_symbol_419);
  x = (x + tint_symbol_420);
  x = (x + tint_symbol_421);
  x = (x + tint_symbol_422);
  x = (x + tint_symbol_423);
  x = (x + tint_symbol_424);
  x = (x + tint_symbol_425);
  x = (x + tint_symbol_426);
  x = (x + tint_symbol_427);
  x = (x + tint_symbol_428);
  x = (x + tint_symbol_429);
  x = (x + tint_symbol_430);
  x = (x + tint_symbol_431);
  x = (x + tint_symbol_432);
  x = (x + tint_symbol_433);
  x = (x + tint_symbol_434);
  x = (x + tint_symbol_435);
  x = (x + tint_symbol_436);
  x = (x + tint_symbol_437);
  x = (x + tint_symbol_438);
  x = (x + tint_symbol_439);
  x = (x + tint_symbol_440);
  x = (x + tint_symbol_441);
  x = (x + tint_symbol_442);
  x = (x + tint_symbol_443);
  x = (x + tint_symbol_444);
  x = (x + tint_symbol_445);
  x = (x + tint_symbol_446);
  x = (x + tint_symbol_447);
  x = (x + tint_symbol_448);
  x = (x + tint_symbol_449);
  x = (x + tint_symbol_450);
  x = (x + tint_symbol_451);
  x = (x + tint_symbol_452);
  x = (x + tint_symbol_453);
  x = (x + tint_symbol_454);
  x = (x + tint_symbol_455);
  x = (x + tint_symbol_456);
  x = (x + tint_symbol_457);
  x = (x + tint_symbol_458);
  x = (x + tint_symbol_459);
  x = (x + tint_symbol_460);
  x = (x + tint_symbol_461);
  x = (x + tint_symbol_462);
  x = (x + tint_symbol_463);
  x = (x + tint_symbol_464);
  x = (x + tint_symbol_465);
  x = (x + tint_symbol_466);
  x = (x + tint_symbol_467);
  x = (x + tint_symbol_468);
  x = (x + tint_symbol_469);
  x = (x + tint_symbol_470);
  x = (x + tint_symbol_471);
  x = (x + tint_symbol_472);
  x = (x + tint_symbol_473);
  x = (x + tint_symbol_474);
  x = (x + tint_symbol_475);
  x = (x + tint_symbol_476);
  x = (x + tint_symbol_477);
  x = (x + tint_symbol_478);
  x = (x + tint_symbol_479);
  x = (x + tint_symbol_480);
  x = (x + tint_symbol_481);
  x = (x + tint_symbol_482);
  x = (x + tint_symbol_483);
  x = (x + tint_symbol_484);
  x = (x + tint_symbol_485);
  x = (x + tint_symbol_486);
  x = (x + tint_symbol_487);
  x = (x + tint_symbol_488);
  x = (x + tint_symbol_489);
  x = (x + tint_symbol_490);
  x = (x + tint_symbol_491);
  x = (x + tint_symbol_492);
  x = (x + tint_symbol_493);
  x = (x + tint_symbol_494);
  x = (x + tint_symbol_495);
  x = (x + tint_symbol_496);
  x = (x + tint_symbol_497);
  x = (x + tint_symbol_498);
  x = (x + tint_symbol_499);
  x = (x + tint_symbol_500);
  x = (x + tint_symbol_501);
  x = (x + tint_symbol_502);
  x = (x + tint_symbol_503);
  x = (x + tint_symbol_504);
  x = (x + tint_symbol_505);
  x = (x + tint_symbol_506);
  x = (x + tint_symbol_507);
  x = (x + tint_symbol_508);
  x = (x + tint_symbol_509);
  x = (x + tint_symbol_510);
  x = (x + tint_symbol_511);
  x = (x + tint_symbol_512);
  x = (x + tint_symbol_513);
  x = (x + tint_symbol_514);
  x = (x + tint_symbol_515);
  x = (x + tint_symbol_516);
  x = (x + tint_symbol_517);
  x = (x + tint_symbol_518);
  x = (x + tint_symbol_519);
  x = (x + tint_symbol_520);
  x = (x + tint_symbol_521);
  x = (x + tint_symbol_522);
  x = (x + tint_symbol_523);
  x = (x + tint_symbol_524);
  x = (x + tint_symbol_525);
  x = (x + tint_symbol_526);
  x = (x + tint_symbol_527);
  x = (x + tint_symbol_528);
  x = (x + tint_symbol_529);
  x = (x + tint_symbol_530);
  x = (x + tint_symbol_531);
  x = (x + tint_symbol_532);
  x = (x + tint_symbol_533);
  x = (x + tint_symbol_534);
  x = (x + tint_symbol_535);
  x = (x + tint_symbol_536);
  x = (x + tint_symbol_537);
  x = (x + tint_symbol_538);
  x = (x + tint_symbol_539);
  x = (x + tint_symbol_540);
  x = (x + tint_symbol_541);
  x = (x + tint_symbol_542);
  x = (x + tint_symbol_543);
  x = (x + tint_symbol_544);
  x = (x + tint_symbol_545);
  x = (x + tint_symbol_546);
  x = (x + tint_symbol_547);
  x = (x + tint_symbol_548);
  x = (x + tint_symbol_549);
  x = (x + tint_symbol_550);
  x = (x + tint_symbol_551);
  x = (x + tint_symbol_552);
  x = (x + tint_symbol_553);
  x = (x + tint_symbol_554);
  x = (x + tint_symbol_555);
  x = (x + tint_symbol_556);
  x = (x + tint_symbol_557);
  x = (x + tint_symbol_558);
  x = (x + tint_symbol_559);
  x = (x + tint_symbol_560);
  x = (x + tint_symbol_561);
  x = (x + tint_symbol_562);
  x = (x + tint_symbol_563);
  x = (x + tint_symbol_564);
  x = (x + tint_symbol_565);
  x = (x + tint_symbol_566);
  x = (x + tint_symbol_567);
  x = (x + tint_symbol_568);
  x = (x + tint_symbol_569);
  x = (x + tint_symbol_570);
  x = (x + tint_symbol_571);
  x = (x + tint_symbol_572);
  x = (x + tint_symbol_573);
  x = (x + tint_symbol_574);
  x = (x + tint_symbol_575);
  x = (x + tint_symbol_576);
  x = (x + tint_symbol_577);
  x = (x + tint_symbol_578);
  x = (x + tint_symbol_579);
  x = (x + tint_symbol_580);
  x = (x + tint_symbol_581);
  x = (x + tint_symbol_582);
  x = (x + tint_symbol_583);
  x = (x + tint_symbol_584);
  x = (x + tint_symbol_585);
  x = (x + tint_symbol_586);
  x = (x + tint_symbol_587);
  x = (x + tint_symbol_588);
  x = (x + tint_symbol_589);
  x = (x + tint_symbol_590);
  x = (x + tint_symbol_591);
  x = (x + tint_symbol_592);
  x = (x + tint_symbol_593);
  x = (x + tint_symbol_594);
  x = (x + tint_symbol_595);
  x = (x + tint_symbol_596);
  x = (x + tint_symbol_597);
  x = (x + tint_symbol_598);
  x = (x + tint_symbol_599);
  x = (x + tint_symbol_600);
  x = (x + tint_symbol_601);
  x = (x + tint_symbol_602);
  x = (x + tint_symbol_603);
  x = (x + tint_symbol_604);
  x = (x + tint_symbol_605);
  x = (x + tint_symbol_606);
  x = (x + tint_symbol_607);
  x = (x + tint_symbol_608);
  x = (x + tint_symbol_609);
  x = (x + tint_symbol_610);
  x = (x + tint_symbol_611);
  x = (x + tint_symbol_612);
  x = (x + tint_symbol_613);
  x = (x + tint_symbol_614);
  x = (x + tint_symbol_615);
  x = (x + tint_symbol_616);
  x = (x + tint_symbol_617);
  x = (x + tint_symbol_618);
  x = (x + tint_symbol_619);
  x = (x + tint_symbol_620);
  x = (x + tint_symbol_621);
  x = (x + tint_symbol_622);
  x = (x + tint_symbol_623);
  x = (x + tint_symbol_624);
  x = (x + tint_symbol_625);
  x = (x + tint_symbol_626);
  x = (x + tint_symbol_627);
  x = (x + tint_symbol_628);
  x = (x + tint_symbol_629);
  x = (x + tint_symbol_630);
  x = (x + tint_symbol_631);
  x = (x + tint_symbol_632);
  x = (x + tint_symbol_633);
  x = (x + tint_symbol_634);
  x = (x + tint_symbol_635);
  x = (x + tint_symbol_636);
  x = (x + tint_symbol_637);
  x = (x + tint_symbol_638);
  x = (x + tint_symbol_639);
  x = (x + tint_symbol_640);
  x = (x + tint_symbol_641);
  x = (x + tint_symbol_642);
  x = (x + tint_symbol_643);
  x = (x + tint_symbol_644);
  x = (x + tint_symbol_645);
  x = (x + tint_symbol_646);
  x = (x + tint_symbol_647);
  x = (x + tint_symbol_648);
  x = (x + tint_symbol_649);
  x = (x + tint_symbol_650);
  x = (x + tint_symbol_651);
  x = (x + tint_symbol_652);
  x = (x + tint_symbol_653);
  x = (x + tint_symbol_654);
  x = (x + tint_symbol_655);
  x = (x + tint_symbol_656);
  x = (x + tint_symbol_657);
  x = (x + tint_symbol_658);
  x = (x + tint_symbol_659);
  x = (x + tint_symbol_660);
  x = (x + tint_symbol_661);
  x = (x + tint_symbol_662);
  x = (x + tint_symbol_663);
  x = (x + tint_symbol_664);
  x = (x + tint_symbol_665);
  x = (x + tint_symbol_666);
  x = (x + tint_symbol_667);
  x = (x + tint_symbol_668);
  x = (x + tint_symbol_669);
  x = (x + tint_symbol_670);
  x = (x + tint_symbol_671);
  x = (x + tint_symbol_672);
  x = (x + tint_symbol_673);
  x = (x + tint_symbol_674);
  x = (x + tint_symbol_675);
  x = (x + tint_symbol_676);
  x = (x + tint_symbol_677);
  x = (x + tint_symbol_678);
  x = (x + tint_symbol_679);
  x = (x + tint_symbol_680);
  x = (x + tint_symbol_681);
  x = (x + tint_symbol_682);
  x = (x + tint_symbol_683);
  x = (x + tint_symbol_684);
  x = (x + tint_symbol_685);
  x = (x + tint_symbol_686);
  x = (x + tint_symbol_687);
  x = (x + tint_symbol_688);
  x = (x + tint_symbol_689);
  x = (x + tint_symbol_690);
  x = (x + tint_symbol_691);
  x = (x + tint_symbol_692);
  x = (x + tint_symbol_693);
  x = (x + tint_symbol_694);
  x = (x + tint_symbol_695);
  x = (x + tint_symbol_696);
  x = (x + tint_symbol_697);
  x = (x + tint_symbol_698);
  x = (x + tint_symbol_699);
  x = (x + tint_symbol_700);
  x = (x + tint_symbol_701);
  x = (x + tint_symbol_702);
  x = (x + tint_symbol_703);
  x = (x + tint_symbol_704);
  x = (x + tint_symbol_705);
  x = (x + tint_symbol_706);
  x = (x + tint_symbol_707);
  x = (x + tint_symbol_708);
  x = (x + tint_symbol_709);
  x = (x + tint_symbol_710);
  x = (x + tint_symbol_711);
  x = (x + tint_symbol_712);
  x = (x + tint_symbol_713);
  x = (x + tint_symbol_714);
  x = (x + tint_symbol_715);
  x = (x + tint_symbol_716);
  x = (x + tint_symbol_717);
  x = (x + tint_symbol_718);
  x = (x + tint_symbol_719);
  x = (x + tint_symbol_720);
  x = (x + tint_symbol_721);
  x = (x + tint_symbol_722);
  x = (x + tint_symbol_723);
  x = (x + tint_symbol_724);
  x = (x + tint_symbol_725);
  x = (x + tint_symbol_726);
  x = (x + tint_symbol_727);
  x = (x + tint_symbol_728);
  x = (x + tint_symbol_729);
  x = (x + tint_symbol_730);
  x = (x + tint_symbol_731);
  x = (x + tint_symbol_732);
  x = (x + tint_symbol_733);
  x = (x + tint_symbol_734);
  x = (x + tint_symbol_735);
  x = (x + tint_symbol_736);
  x = (x + tint_symbol_737);
  x = (x + tint_symbol_738);
  x = (x + tint_symbol_739);
  x = (x + tint_symbol_740);
  x = (x + tint_symbol_741);
  x = (x + tint_symbol_742);
  x = (x + tint_symbol_743);
  x = (x + tint_symbol_744);
  x = (x + tint_symbol_745);
  x = (x + tint_symbol_746);
  x = (x + tint_symbol_747);
  x = (x + tint_symbol_748);
  x = (x + tint_symbol_749);
  x = (x + tint_symbol_750);
  x = (x + tint_symbol_751);
  x = (x + tint_symbol_752);
  x = (x + tint_symbol_753);
  x = (x + tint_symbol_754);
  x = (x + tint_symbol_755);
  x = (x + tint_symbol_756);
  x = (x + tint_symbol_757);
  x = (x + tint_symbol_758);
  x = (x + tint_symbol_759);
  x = (x + tint_symbol_760);
  x = (x + tint_symbol_761);
  x = (x + tint_symbol_762);
  x = (x + tint_symbol_763);
  x = (x + tint_symbol_764);
  x = (x + tint_symbol_765);
  x = (x + tint_symbol_766);
  x = (x + tint_symbol_767);
  x = (x + tint_symbol_768);
  x = (x + tint_symbol_769);
  x = (x + tint_symbol_770);
  x = (x + tint_symbol_771);
  x = (x + tint_symbol_772);
  x = (x + tint_symbol_773);
  x = (x + tint_symbol_774);
  x = (x + tint_symbol_775);
  x = (x + tint_symbol_776);
  x = (x + tint_symbol_777);
  x = (x + tint_symbol_778);
  x = (x + tint_symbol_779);
  x = (x + tint_symbol_780);
  x = (x + tint_symbol_781);
  x = (x + tint_symbol_782);
  x = (x + tint_symbol_783);
  x = (x + tint_symbol_784);
  x = (x + tint_symbol_785);
  x = (x + tint_symbol_786);
  x = (x + tint_symbol_787);
  x = (x + tint_symbol_788);
  x = (x + tint_symbol_789);
  x = (x + tint_symbol_790);
  x = (x + tint_symbol_791);
  x = (x + tint_symbol_792);
  x = (x + tint_symbol_793);
  x = (x + tint_symbol_794);
  x = (x + tint_symbol_795);
  x = (x + tint_symbol_796);
  x = (x + tint_symbol_797);
  x = (x + tint_symbol_798);
  x = (x + tint_symbol_799);
  x = (x + tint_symbol_800);
  x = (x + tint_symbol_801);
  x = (x + tint_symbol_802);
  x = (x + tint_symbol_803);
  x = (x + tint_symbol_804);
  x = (x + tint_symbol_805);
  x = (x + tint_symbol_806);
  x = (x + tint_symbol_807);
  x = (x + tint_symbol_808);
  x = (x + tint_symbol_809);
  x = (x + tint_symbol_810);
  x = (x + tint_symbol_811);
  x = (x + tint_symbol_812);
  x = (x + tint_symbol_813);
  x = (x + tint_symbol_814);
  x = (x + tint_symbol_815);
  x = (x + tint_symbol_816);
  x = (x + tint_symbol_817);
  x = (x + tint_symbol_818);
  x = (x + tint_symbol_819);
  x = (x + tint_symbol_820);
  x = (x + tint_symbol_821);
  x = (x + tint_symbol_822);
  x = (x + tint_symbol_823);
  x = (x + tint_symbol_824);
  x = (x + tint_symbol_825);
  x = (x + tint_symbol_826);
  x = (x + tint_symbol_827);
  x = (x + tint_symbol_828);
  x = (x + tint_symbol_829);
  x = (x + tint_symbol_830);
  x = (x + tint_symbol_831);
  x = (x + tint_symbol_832);
  x = (x + tint_symbol_833);
  x = (x + tint_symbol_834);
  x = (x + tint_symbol_835);
  x = (x + tint_symbol_836);
  x = (x + tint_symbol_837);
  x = (x + tint_symbol_838);
  x = (x + tint_symbol_839);
  x = (x + tint_symbol_840);
  x = (x + tint_symbol_841);
  x = (x + tint_symbol_842);
  x = (x + tint_symbol_843);
  x = (x + tint_symbol_844);
  x = (x + tint_symbol_845);
  x = (x + tint_symbol_846);
  x = (x + tint_symbol_847);
  x = (x + tint_symbol_848);
  x = (x + tint_symbol_849);
  x = (x + tint_symbol_850);
  x = (x + tint_symbol_851);
  x = (x + tint_symbol_852);
  x = (x + tint_symbol_853);
  x = (x + tint_symbol_854);
  x = (x + tint_symbol_855);
  x = (x + tint_symbol_856);
  x = (x + tint_symbol_857);
  x = (x + tint_symbol_858);
  x = (x + tint_symbol_859);
  x = (x + tint_symbol_860);
  x = (x + tint_symbol_861);
  x = (x + tint_symbol_862);
  x = (x + tint_symbol_863);
  x = (x + tint_symbol_864);
  x = (x + tint_symbol_865);
  x = (x + tint_symbol_866);
  x = (x + tint_symbol_867);
  x = (x + tint_symbol_868);
  x = (x + tint_symbol_869);
  x = (x + tint_symbol_870);
  x = (x + tint_symbol_871);
  x = (x + tint_symbol_872);
  x = (x + tint_symbol_873);
  x = (x + tint_symbol_874);
  x = (x + tint_symbol_875);
  x = (x + tint_symbol_876);
  x = (x + tint_symbol_877);
  x = (x + tint_symbol_878);
  x = (x + tint_symbol_879);
  x = (x + tint_symbol_880);
  x = (x + tint_symbol_881);
  x = (x + tint_symbol_882);
  x = (x + tint_symbol_883);
  x = (x + tint_symbol_884);
  x = (x + tint_symbol_885);
  x = (x + tint_symbol_886);
  x = (x + tint_symbol_887);
  x = (x + tint_symbol_888);
  x = (x + tint_symbol_889);
  x = (x + tint_symbol_890);
  x = (x + tint_symbol_891);
  x = (x + tint_symbol_892);
  x = (x + tint_symbol_893);
  x = (x + tint_symbol_894);
  x = (x + tint_symbol_895);
  x = (x + tint_symbol_896);
  x = (x + tint_symbol_897);
  x = (x + tint_symbol_898);
  x = (x + tint_symbol_899);
  x = (x + tint_symbol_900);
  x = (x + tint_symbol_901);
  x = (x + tint_symbol_902);
  x = (x + tint_symbol_903);
  x = (x + tint_symbol_904);
  x = (x + tint_symbol_905);
  x = (x + tint_symbol_906);
  x = (x + tint_symbol_907);
  x = (x + tint_symbol_908);
  x = (x + tint_symbol_909);
  x = (x + tint_symbol_910);
  x = (x + tint_symbol_911);
  x = (x + tint_symbol_912);
  x = (x + tint_symbol_913);
  x = (x + tint_symbol_914);
  x = (x + tint_symbol_915);
  x = (x + tint_symbol_916);
  x = (x + tint_symbol_917);
  x = (x + tint_symbol_918);
  x = (x + tint_symbol_919);
  x = (x + tint_symbol_920);
  x = (x + tint_symbol_921);
  x = (x + tint_symbol_922);
  x = (x + tint_symbol_923);
  x = (x + tint_symbol_924);
  x = (x + tint_symbol_925);
  x = (x + tint_symbol_926);
  x = (x + tint_symbol_927);
  x = (x + tint_symbol_928);
  x = (x + tint_symbol_929);
  x = (x + tint_symbol_930);
  x = (x + tint_symbol_931);
  x = (x + tint_symbol_932);
  x = (x + tint_symbol_933);
  x = (x + tint_symbol_934);
  x = (x + tint_symbol_935);
  x = (x + tint_symbol_936);
  x = (x + tint_symbol_937);
  x = (x + tint_symbol_938);
  x = (x + tint_symbol_939);
  x = (x + tint_symbol_940);
  x = (x + tint_symbol_941);
  x = (x + tint_symbol_942);
  x = (x + tint_symbol_943);
  x = (x + tint_symbol_944);
  x = (x + tint_symbol_945);
  x = (x + tint_symbol_946);
  x = (x + tint_symbol_947);
  x = (x + tint_symbol_948);
  x = (x + tint_symbol_949);
  x = (x + tint_symbol_950);
  x = (x + tint_symbol_951);
  x = (x + tint_symbol_952);
  x = (x + tint_symbol_953);
  x = (x + tint_symbol_954);
  x = (x + tint_symbol_955);
  x = (x + tint_symbol_956);
  x = (x + tint_symbol_957);
  x = (x + tint_symbol_958);
  x = (x + tint_symbol_959);
  x = (x + tint_symbol_960);
  x = (x + tint_symbol_961);
  x = (x + tint_symbol_962);
  x = (x + tint_symbol_963);
  x = (x + tint_symbol_964);
  x = (x + tint_symbol_965);
  x = (x + tint_symbol_966);
  x = (x + tint_symbol_967);
  x = (x + tint_symbol_968);
  x = (x + tint_symbol_969);
  x = (x + tint_symbol_970);
  x = (x + tint_symbol_971);
  x = (x + tint_symbol_972);
  x = (x + tint_symbol_973);
  x = (x + tint_symbol_974);
  x = (x + tint_symbol_975);
  x = (x + tint_symbol_976);
  x = (x + tint_symbol_977);
  x = (x + tint_symbol_978);
  x = (x + tint_symbol_979);
  x = (x + tint_symbol_980);
  x = (x + tint_symbol_981);
  x = (x + tint_symbol_982);
  x = (x + tint_symbol_983);
  x = (x + tint_symbol_984);
  x = (x + tint_symbol_985);
  x = (x + tint_symbol_986);
  x = (x + tint_symbol_987);
  x = (x + tint_symbol_988);
  x = (x + tint_symbol_989);
  x = (x + tint_symbol_990);
  x = (x + tint_symbol_991);
  x = (x + tint_symbol_992);
  x = (x + tint_symbol_993);
  x = (x + tint_symbol_994);
  x = (x + tint_symbol_995);
  x = (x + tint_symbol_996);
  x = (x + tint_symbol_997);
  x = (x + tint_symbol_998);
  x = (x + tint_symbol_999);
  x = (x + tint_symbol_1000);
  x = (x + tint_symbol_1001);
  return x;
}

struct tint_symbol_1 {
  uint value [[color(0)]];
};

uint tint_symbol_inner() {
  return foo();
}

fragment tint_symbol_1 tint_symbol() {
  uint const inner_result = tint_symbol_inner();
  tint_symbol_1 wrapper_result = {};
  wrapper_result.value = inner_result;
  return wrapper_result;
}