// Copyright 2018 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

(function module() {
  "use asm";
  function foo(
      a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11,
      a12, a13, a14, a15, a16, a17, a18, a19, a20, a21,
      a22, a23, a24, a25, a26, a27, a28, a29, a30, a31,
      a32, a33, a34, a35, a36, a37, a38, a39, a40, a41,
      a42, a43, a44, a45, a46, a47, a48, a49, a50, a51,
      a52, a53, a54, a55, a56, a57, a58, a59, a60, a61,
      a62, a63, a64, a65, a66, a67, a68, a69, a70, a71,
      a72, a73, a74, a75, a76, a77, a78, a79, a80, a81,
      a82, a83, a84, a85, a86, a87, a88, a89, a90, a91,
      a92, a93, a94, a95, a96, a97, a98, a99, a100, a101,
      a102, a103, a104, a105, a106, a107, a108, a109, a110,
      a111, a112, a113, a114, a115, a116, a117, a118, a119,
      a120, a121, a122, a123, a124, a125, a126, a127, a128,
      a129, a130, a131, a132, a133, a134, a135, a136, a137,
      a138, a139, a140, a141, a142, a143, a144, a145, a146,
      a147, a148, a149, a150, a151, a152, a153, a154, a155,
      a156, a157, a158, a159, a160, a161, a162, a163, a164,
      a165, a166, a167, a168, a169, a170, a171, a172, a173,
      a174, a175, a176, a177, a178, a179, a180, a181, a182,
      a183, a184, a185, a186, a187, a188, a189, a190, a191,
      a192, a193, a194, a195, a196, a197, a198, a199, a200,
      a201, a202, a203, a204, a205, a206, a207, a208, a209,
      a210, a211, a212, a213, a214, a215, a216, a217, a218,
      a219, a220, a221, a222, a223, a224, a225, a226, a227,
      a228, a229, a230, a231, a232, a233, a234, a235, a236,
      a237, a238, a239, a240, a241, a242, a243, a244, a245,
      a246, a247, a248, a249, a250, a251, a252, a253, a254,
      a255, a256, a257, a258, a259, a260, a261, a262, a263,
      a264, a265, a266, a267, a268, a269, a270, a271, a272,
      a273, a274, a275, a276, a277, a278, a279, a280, a281,
      a282, a283, a284, a285, a286, a287, a288, a289, a290,
      a291, a292, a293, a294, a295, a296, a297, a298, a299,
      a300, a301, a302, a303, a304, a305, a306, a307, a308,
      a309, a310, a311, a312, a313, a314, a315, a316, a317,
      a318, a319, a320, a321, a322, a323, a324, a325, a326,
      a327, a328, a329, a330, a331, a332, a333, a334, a335,
      a336, a337, a338, a339, a340, a341, a342, a343, a344,
      a345, a346, a347, a348, a349, a350, a351, a352, a353,
      a354, a355, a356, a357, a358, a359, a360, a361, a362,
      a363, a364, a365, a366, a367, a368, a369, a370, a371,
      a372, a373, a374, a375, a376, a377, a378, a379, a380,
      a381, a382, a383, a384, a385, a386, a387, a388, a389,
      a390, a391, a392, a393, a394, a395, a396, a397, a398,
      a399, a400, a401, a402, a403, a404, a405, a406, a407,
      a408, a409, a410, a411, a412, a413, a414, a415, a416,
      a417, a418, a419, a420, a421, a422, a423, a424, a425,
      a426, a427, a428, a429, a430, a431, a432, a433, a434,
      a435, a436, a437, a438, a439, a440, a441, a442, a443,
      a444, a445, a446, a447, a448, a449, a450, a451, a452,
      a453, a454, a455, a456, a457, a458, a459, a460, a461,
      a462, a463, a464, a465, a466, a467, a468, a469, a470,
      a471, a472, a473, a474, a475, a476, a477, a478, a479,
      a480, a481, a482, a483, a484, a485, a486, a487, a488,
      a489, a490, a491, a492, a493, a494, a495, a496, a497,
      a498, a499, a500, a501, a502, a503, a504, a505, a506,
      a507, a508, a509, a510, a511, a512, a513, a514, a515,
      a516, a517, a518, a519, a520, a521, a522, a523, a524,
      a525, a526, a527, a528, a529, a530, a531, a532, a533,
      a534, a535, a536, a537, a538, a539, a540, a541, a542,
      a543, a544, a545, a546, a547, a548, a549, a550, a551,
      a552, a553, a554, a555, a556, a557, a558, a559, a560,
      a561, a562, a563, a564, a565, a566, a567, a568, a569,
      a570, a571, a572, a573, a574, a575, a576, a577, a578,
      a579, a580, a581, a582, a583, a584, a585, a586, a587,
      a588, a589, a590, a591, a592, a593, a594, a595, a596,
      a597, a598, a599, a600, a601, a602, a603, a604, a605,
      a606, a607, a608, a609, a610, a611, a612, a613, a614,
      a615, a616, a617, a618, a619, a620, a621, a622, a623,
      a624, a625, a626, a627, a628, a629, a630, a631, a632,
      a633, a634, a635, a636, a637, a638, a639, a640, a641,
      a642, a643, a644, a645, a646, a647, a648, a649, a650,
      a651, a652, a653, a654, a655, a656, a657, a658, a659,
      a660, a661, a662, a663, a664, a665, a666, a667, a668,
      a669, a670, a671, a672, a673, a674, a675, a676, a677,
      a678, a679, a680, a681, a682, a683, a684, a685, a686,
      a687, a688, a689, a690, a691, a692, a693, a694, a695,
      a696, a697, a698, a699, a700, a701, a702, a703, a704,
      a705, a706, a707, a708, a709, a710, a711, a712, a713,
      a714, a715, a716, a717, a718, a719, a720, a721, a722,
      a723, a724, a725, a726, a727, a728, a729, a730, a731,
      a732, a733, a734, a735, a736, a737, a738, a739, a740,
      a741, a742, a743, a744, a745, a746, a747, a748, a749,
      a750, a751, a752, a753, a754, a755, a756, a757, a758,
      a759, a760, a761, a762, a763, a764, a765, a766, a767,
      a768, a769, a770, a771, a772, a773, a774, a775, a776,
      a777, a778, a779, a780, a781, a782, a783, a784, a785,
      a786, a787, a788, a789, a790, a791, a792, a793, a794,
      a795, a796, a797, a798, a799, a800, a801, a802, a803,
      a804, a805, a806, a807, a808, a809, a810, a811, a812,
      a813, a814, a815, a816, a817, a818, a819, a820, a821,
      a822, a823, a824, a825, a826, a827, a828, a829, a830,
      a831, a832, a833, a834, a835, a836, a837, a838, a839,
      a840, a841, a842, a843, a844, a845, a846, a847, a848,
      a849, a850, a851, a852, a853, a854, a855, a856, a857,
      a858, a859, a860, a861, a862, a863, a864, a865, a866,
      a867, a868, a869, a870, a871, a872, a873, a874, a875,
      a876, a877, a878, a879, a880, a881, a882, a883, a884,
      a885, a886, a887, a888, a889, a890, a891, a892, a893,
      a894, a895, a896, a897, a898, a899, a900, a901, a902,
      a903, a904, a905, a906, a907, a908, a909, a910, a911,
      a912, a913, a914, a915, a916, a917, a918, a919, a920,
      a921, a922, a923, a924, a925, a926, a927, a928, a929,
      a930, a931, a932, a933, a934, a935, a936, a937, a938,
      a939, a940, a941, a942, a943, a944, a945, a946, a947,
      a948, a949, a950, a951, a952, a953, a954, a955, a956,
      a957, a958, a959, a960, a961, a962, a963, a964, a965,
      a966, a967, a968, a969, a970, a971, a972, a973, a974,
      a975, a976, a977, a978, a979, a980, a981, a982, a983,
      a984, a985, a986, a987, a988, a989, a990, a991, a992,
      a993, a994, a995, a996, a997, a998, a999, a1000, a1001,
      a1002, a1003, a1004, a1005) {
    a0 = +a0;
    a1 = +a1;
    a2 = +a2;
    a3 = +a3;
    a4 = +a4;
    a5 = +a5;
    a6 = +a6;
    a7 = +a7;
    a8 = +a8;
    a9 = +a9;
    a10 = +a10;
    a11 = +a11;
    a12 = +a12;
    a13 = +a13;
    a14 = +a14;
    a15 = +a15;
    a16 = +a16;
    a17 = +a17;
    a18 = +a18;
    a19 = +a19;
    a20 = +a20;
    a21 = +a21;
    a22 = +a22;
    a23 = +a23;
    a24 = +a24;
    a25 = +a25;
    a26 = +a26;
    a27 = +a27;
    a28 = +a28;
    a29 = +a29;
    a30 = +a30;
    a31 = +a31;
    a32 = +a32;
    a33 = +a33;
    a34 = +a34;
    a35 = +a35;
    a36 = +a36;
    a37 = +a37;
    a38 = +a38;
    a39 = +a39;
    a40 = +a40;
    a41 = +a41;
    a42 = +a42;
    a43 = +a43;
    a44 = +a44;
    a45 = +a45;
    a46 = +a46;
    a47 = +a47;
    a48 = +a48;
    a49 = +a49;
    a50 = +a50;
    a51 = +a51;
    a52 = +a52;
    a53 = +a53;
    a54 = +a54;
    a55 = +a55;
    a56 = +a56;
    a57 = +a57;
    a58 = +a58;
    a59 = +a59;
    a60 = +a60;
    a61 = +a61;
    a62 = +a62;
    a63 = +a63;
    a64 = +a64;
    a65 = +a65;
    a66 = +a66;
    a67 = +a67;
    a68 = +a68;
    a69 = +a69;
    a70 = +a70;
    a71 = +a71;
    a72 = +a72;
    a73 = +a73;
    a74 = +a74;
    a75 = +a75;
    a76 = +a76;
    a77 = +a77;
    a78 = +a78;
    a79 = +a79;
    a80 = +a80;
    a81 = +a81;
    a82 = +a82;
    a83 = +a83;
    a84 = +a84;
    a85 = +a85;
    a86 = +a86;
    a87 = +a87;
    a88 = +a88;
    a89 = +a89;
    a90 = +a90;
    a91 = +a91;
    a92 = +a92;
    a93 = +a93;
    a94 = +a94;
    a95 = +a95;
    a96 = +a96;
    a97 = +a97;
    a98 = +a98;
    a99 = +a99;
    a100 = +a100;
    a101 = +a101;
    a102 = +a102;
    a103 = +a103;
    a104 = +a104;
    a105 = +a105;
    a106 = +a106;
    a107 = +a107;
    a108 = +a108;
    a109 = +a109;
    a110 = +a110;
    a111 = +a111;
    a112 = +a112;
    a113 = +a113;
    a114 = +a114;
    a115 = +a115;
    a116 = +a116;
    a117 = +a117;
    a118 = +a118;
    a119 = +a119;
    a120 = +a120;
    a121 = +a121;
    a122 = +a122;
    a123 = +a123;
    a124 = +a124;
    a125 = +a125;
    a126 = +a126;
    a127 = +a127;
    a128 = +a128;
    a129 = +a129;
    a130 = +a130;
    a131 = +a131;
    a132 = +a132;
    a133 = +a133;
    a134 = +a134;
    a135 = +a135;
    a136 = +a136;
    a137 = +a137;
    a138 = +a138;
    a139 = +a139;
    a140 = +a140;
    a141 = +a141;
    a142 = +a142;
    a143 = +a143;
    a144 = +a144;
    a145 = +a145;
    a146 = +a146;
    a147 = +a147;
    a148 = +a148;
    a149 = +a149;
    a150 = +a150;
    a151 = +a151;
    a152 = +a152;
    a153 = +a153;
    a154 = +a154;
    a155 = +a155;
    a156 = +a156;
    a157 = +a157;
    a158 = +a158;
    a159 = +a159;
    a160 = +a160;
    a161 = +a161;
    a162 = +a162;
    a163 = +a163;
    a164 = +a164;
    a165 = +a165;
    a166 = +a166;
    a167 = +a167;
    a168 = +a168;
    a169 = +a169;
    a170 = +a170;
    a171 = +a171;
    a172 = +a172;
    a173 = +a173;
    a174 = +a174;
    a175 = +a175;
    a176 = +a176;
    a177 = +a177;
    a178 = +a178;
    a179 = +a179;
    a180 = +a180;
    a181 = +a181;
    a182 = +a182;
    a183 = +a183;
    a184 = +a184;
    a185 = +a185;
    a186 = +a186;
    a187 = +a187;
    a188 = +a188;
    a189 = +a189;
    a190 = +a190;
    a191 = +a191;
    a192 = +a192;
    a193 = +a193;
    a194 = +a194;
    a195 = +a195;
    a196 = +a196;
    a197 = +a197;
    a198 = +a198;
    a199 = +a199;
    a200 = +a200;
    a201 = +a201;
    a202 = +a202;
    a203 = +a203;
    a204 = +a204;
    a205 = +a205;
    a206 = +a206;
    a207 = +a207;
    a208 = +a208;
    a209 = +a209;
    a210 = +a210;
    a211 = +a211;
    a212 = +a212;
    a213 = +a213;
    a214 = +a214;
    a215 = +a215;
    a216 = +a216;
    a217 = +a217;
    a218 = +a218;
    a219 = +a219;
    a220 = +a220;
    a221 = +a221;
    a222 = +a222;
    a223 = +a223;
    a224 = +a224;
    a225 = +a225;
    a226 = +a226;
    a227 = +a227;
    a228 = +a228;
    a229 = +a229;
    a230 = +a230;
    a231 = +a231;
    a232 = +a232;
    a233 = +a233;
    a234 = +a234;
    a235 = +a235;
    a236 = +a236;
    a237 = +a237;
    a238 = +a238;
    a239 = +a239;
    a240 = +a240;
    a241 = +a241;
    a242 = +a242;
    a243 = +a243;
    a244 = +a244;
    a245 = +a245;
    a246 = +a246;
    a247 = +a247;
    a248 = +a248;
    a249 = +a249;
    a250 = +a250;
    a251 = +a251;
    a252 = +a252;
    a253 = +a253;
    a254 = +a254;
    a255 = +a255;
    a256 = +a256;
    a257 = +a257;
    a258 = +a258;
    a259 = +a259;
    a260 = +a260;
    a261 = +a261;
    a262 = +a262;
    a263 = +a263;
    a264 = +a264;
    a265 = +a265;
    a266 = +a266;
    a267 = +a267;
    a268 = +a268;
    a269 = +a269;
    a270 = +a270;
    a271 = +a271;
    a272 = +a272;
    a273 = +a273;
    a274 = +a274;
    a275 = +a275;
    a276 = +a276;
    a277 = +a277;
    a278 = +a278;
    a279 = +a279;
    a280 = +a280;
    a281 = +a281;
    a282 = +a282;
    a283 = +a283;
    a284 = +a284;
    a285 = +a285;
    a286 = +a286;
    a287 = +a287;
    a288 = +a288;
    a289 = +a289;
    a290 = +a290;
    a291 = +a291;
    a292 = +a292;
    a293 = +a293;
    a294 = +a294;
    a295 = +a295;
    a296 = +a296;
    a297 = +a297;
    a298 = +a298;
    a299 = +a299;
    a300 = +a300;
    a301 = +a301;
    a302 = +a302;
    a303 = +a303;
    a304 = +a304;
    a305 = +a305;
    a306 = +a306;
    a307 = +a307;
    a308 = +a308;
    a309 = +a309;
    a310 = +a310;
    a311 = +a311;
    a312 = +a312;
    a313 = +a313;
    a314 = +a314;
    a315 = +a315;
    a316 = +a316;
    a317 = +a317;
    a318 = +a318;
    a319 = +a319;
    a320 = +a320;
    a321 = +a321;
    a322 = +a322;
    a323 = +a323;
    a324 = +a324;
    a325 = +a325;
    a326 = +a326;
    a327 = +a327;
    a328 = +a328;
    a329 = +a329;
    a330 = +a330;
    a331 = +a331;
    a332 = +a332;
    a333 = +a333;
    a334 = +a334;
    a335 = +a335;
    a336 = +a336;
    a337 = +a337;
    a338 = +a338;
    a339 = +a339;
    a340 = +a340;
    a341 = +a341;
    a342 = +a342;
    a343 = +a343;
    a344 = +a344;
    a345 = +a345;
    a346 = +a346;
    a347 = +a347;
    a348 = +a348;
    a349 = +a349;
    a350 = +a350;
    a351 = +a351;
    a352 = +a352;
    a353 = +a353;
    a354 = +a354;
    a355 = +a355;
    a356 = +a356;
    a357 = +a357;
    a358 = +a358;
    a359 = +a359;
    a360 = +a360;
    a361 = +a361;
    a362 = +a362;
    a363 = +a363;
    a364 = +a364;
    a365 = +a365;
    a366 = +a366;
    a367 = +a367;
    a368 = +a368;
    a369 = +a369;
    a370 = +a370;
    a371 = +a371;
    a372 = +a372;
    a373 = +a373;
    a374 = +a374;
    a375 = +a375;
    a376 = +a376;
    a377 = +a377;
    a378 = +a378;
    a379 = +a379;
    a380 = +a380;
    a381 = +a381;
    a382 = +a382;
    a383 = +a383;
    a384 = +a384;
    a385 = +a385;
    a386 = +a386;
    a387 = +a387;
    a388 = +a388;
    a389 = +a389;
    a390 = +a390;
    a391 = +a391;
    a392 = +a392;
    a393 = +a393;
    a394 = +a394;
    a395 = +a395;
    a396 = +a396;
    a397 = +a397;
    a398 = +a398;
    a399 = +a399;
    a400 = +a400;
    a401 = +a401;
    a402 = +a402;
    a403 = +a403;
    a404 = +a404;
    a405 = +a405;
    a406 = +a406;
    a407 = +a407;
    a408 = +a408;
    a409 = +a409;
    a410 = +a410;
    a411 = +a411;
    a412 = +a412;
    a413 = +a413;
    a414 = +a414;
    a415 = +a415;
    a416 = +a416;
    a417 = +a417;
    a418 = +a418;
    a419 = +a419;
    a420 = +a420;
    a421 = +a421;
    a422 = +a422;
    a423 = +a423;
    a424 = +a424;
    a425 = +a425;
    a426 = +a426;
    a427 = +a427;
    a428 = +a428;
    a429 = +a429;
    a430 = +a430;
    a431 = +a431;
    a432 = +a432;
    a433 = +a433;
    a434 = +a434;
    a435 = +a435;
    a436 = +a436;
    a437 = +a437;
    a438 = +a438;
    a439 = +a439;
    a440 = +a440;
    a441 = +a441;
    a442 = +a442;
    a443 = +a443;
    a444 = +a444;
    a445 = +a445;
    a446 = +a446;
    a447 = +a447;
    a448 = +a448;
    a449 = +a449;
    a450 = +a450;
    a451 = +a451;
    a452 = +a452;
    a453 = +a453;
    a454 = +a454;
    a455 = +a455;
    a456 = +a456;
    a457 = +a457;
    a458 = +a458;
    a459 = +a459;
    a460 = +a460;
    a461 = +a461;
    a462 = +a462;
    a463 = +a463;
    a464 = +a464;
    a465 = +a465;
    a466 = +a466;
    a467 = +a467;
    a468 = +a468;
    a469 = +a469;
    a470 = +a470;
    a471 = +a471;
    a472 = +a472;
    a473 = +a473;
    a474 = +a474;
    a475 = +a475;
    a476 = +a476;
    a477 = +a477;
    a478 = +a478;
    a479 = +a479;
    a480 = +a480;
    a481 = +a481;
    a482 = +a482;
    a483 = +a483;
    a484 = +a484;
    a485 = +a485;
    a486 = +a486;
    a487 = +a487;
    a488 = +a488;
    a489 = +a489;
    a490 = +a490;
    a491 = +a491;
    a492 = +a492;
    a493 = +a493;
    a494 = +a494;
    a495 = +a495;
    a496 = +a496;
    a497 = +a497;
    a498 = +a498;
    a499 = +a499;
    a500 = +a500;
    a501 = +a501;
    a502 = +a502;
    a503 = +a503;
    a504 = +a504;
    a505 = +a505;
    a506 = +a506;
    a507 = +a507;
    a508 = +a508;
    a509 = +a509;
    a510 = +a510;
    a511 = +a511;
    a512 = +a512;
    a513 = +a513;
    a514 = +a514;
    a515 = +a515;
    a516 = +a516;
    a517 = +a517;
    a518 = +a518;
    a519 = +a519;
    a520 = +a520;
    a521 = +a521;
    a522 = +a522;
    a523 = +a523;
    a524 = +a524;
    a525 = +a525;
    a526 = +a526;
    a527 = +a527;
    a528 = +a528;
    a529 = +a529;
    a530 = +a530;
    a531 = +a531;
    a532 = +a532;
    a533 = +a533;
    a534 = +a534;
    a535 = +a535;
    a536 = +a536;
    a537 = +a537;
    a538 = +a538;
    a539 = +a539;
    a540 = +a540;
    a541 = +a541;
    a542 = +a542;
    a543 = +a543;
    a544 = +a544;
    a545 = +a545;
    a546 = +a546;
    a547 = +a547;
    a548 = +a548;
    a549 = +a549;
    a550 = +a550;
    a551 = +a551;
    a552 = +a552;
    a553 = +a553;
    a554 = +a554;
    a555 = +a555;
    a556 = +a556;
    a557 = +a557;
    a558 = +a558;
    a559 = +a559;
    a560 = +a560;
    a561 = +a561;
    a562 = +a562;
    a563 = +a563;
    a564 = +a564;
    a565 = +a565;
    a566 = +a566;
    a567 = +a567;
    a568 = +a568;
    a569 = +a569;
    a570 = +a570;
    a571 = +a571;
    a572 = +a572;
    a573 = +a573;
    a574 = +a574;
    a575 = +a575;
    a576 = +a576;
    a577 = +a577;
    a578 = +a578;
    a579 = +a579;
    a580 = +a580;
    a581 = +a581;
    a582 = +a582;
    a583 = +a583;
    a584 = +a584;
    a585 = +a585;
    a586 = +a586;
    a587 = +a587;
    a588 = +a588;
    a589 = +a589;
    a590 = +a590;
    a591 = +a591;
    a592 = +a592;
    a593 = +a593;
    a594 = +a594;
    a595 = +a595;
    a596 = +a596;
    a597 = +a597;
    a598 = +a598;
    a599 = +a599;
    a600 = +a600;
    a601 = +a601;
    a602 = +a602;
    a603 = +a603;
    a604 = +a604;
    a605 = +a605;
    a606 = +a606;
    a607 = +a607;
    a608 = +a608;
    a609 = +a609;
    a610 = +a610;
    a611 = +a611;
    a612 = +a612;
    a613 = +a613;
    a614 = +a614;
    a615 = +a615;
    a616 = +a616;
    a617 = +a617;
    a618 = +a618;
    a619 = +a619;
    a620 = +a620;
    a621 = +a621;
    a622 = +a622;
    a623 = +a623;
    a624 = +a624;
    a625 = +a625;
    a626 = +a626;
    a627 = +a627;
    a628 = +a628;
    a629 = +a629;
    a630 = +a630;
    a631 = +a631;
    a632 = +a632;
    a633 = +a633;
    a634 = +a634;
    a635 = +a635;
    a636 = +a636;
    a637 = +a637;
    a638 = +a638;
    a639 = +a639;
    a640 = +a640;
    a641 = +a641;
    a642 = +a642;
    a643 = +a643;
    a644 = +a644;
    a645 = +a645;
    a646 = +a646;
    a647 = +a647;
    a648 = +a648;
    a649 = +a649;
    a650 = +a650;
    a651 = +a651;
    a652 = +a652;
    a653 = +a653;
    a654 = +a654;
    a655 = +a655;
    a656 = +a656;
    a657 = +a657;
    a658 = +a658;
    a659 = +a659;
    a660 = +a660;
    a661 = +a661;
    a662 = +a662;
    a663 = +a663;
    a664 = +a664;
    a665 = +a665;
    a666 = +a666;
    a667 = +a667;
    a668 = +a668;
    a669 = +a669;
    a670 = +a670;
    a671 = +a671;
    a672 = +a672;
    a673 = +a673;
    a674 = +a674;
    a675 = +a675;
    a676 = +a676;
    a677 = +a677;
    a678 = +a678;
    a679 = +a679;
    a680 = +a680;
    a681 = +a681;
    a682 = +a682;
    a683 = +a683;
    a684 = +a684;
    a685 = +a685;
    a686 = +a686;
    a687 = +a687;
    a688 = +a688;
    a689 = +a689;
    a690 = +a690;
    a691 = +a691;
    a692 = +a692;
    a693 = +a693;
    a694 = +a694;
    a695 = +a695;
    a696 = +a696;
    a697 = +a697;
    a698 = +a698;
    a699 = +a699;
    a700 = +a700;
    a701 = +a701;
    a702 = +a702;
    a703 = +a703;
    a704 = +a704;
    a705 = +a705;
    a706 = +a706;
    a707 = +a707;
    a708 = +a708;
    a709 = +a709;
    a710 = +a710;
    a711 = +a711;
    a712 = +a712;
    a713 = +a713;
    a714 = +a714;
    a715 = +a715;
    a716 = +a716;
    a717 = +a717;
    a718 = +a718;
    a719 = +a719;
    a720 = +a720;
    a721 = +a721;
    a722 = +a722;
    a723 = +a723;
    a724 = +a724;
    a725 = +a725;
    a726 = +a726;
    a727 = +a727;
    a728 = +a728;
    a729 = +a729;
    a730 = +a730;
    a731 = +a731;
    a732 = +a732;
    a733 = +a733;
    a734 = +a734;
    a735 = +a735;
    a736 = +a736;
    a737 = +a737;
    a738 = +a738;
    a739 = +a739;
    a740 = +a740;
    a741 = +a741;
    a742 = +a742;
    a743 = +a743;
    a744 = +a744;
    a745 = +a745;
    a746 = +a746;
    a747 = +a747;
    a748 = +a748;
    a749 = +a749;
    a750 = +a750;
    a751 = +a751;
    a752 = +a752;
    a753 = +a753;
    a754 = +a754;
    a755 = +a755;
    a756 = +a756;
    a757 = +a757;
    a758 = +a758;
    a759 = +a759;
    a760 = +a760;
    a761 = +a761;
    a762 = +a762;
    a763 = +a763;
    a764 = +a764;
    a765 = +a765;
    a766 = +a766;
    a767 = +a767;
    a768 = +a768;
    a769 = +a769;
    a770 = +a770;
    a771 = +a771;
    a772 = +a772;
    a773 = +a773;
    a774 = +a774;
    a775 = +a775;
    a776 = +a776;
    a777 = +a777;
    a778 = +a778;
    a779 = +a779;
    a780 = +a780;
    a781 = +a781;
    a782 = +a782;
    a783 = +a783;
    a784 = +a784;
    a785 = +a785;
    a786 = +a786;
    a787 = +a787;
    a788 = +a788;
    a789 = +a789;
    a790 = +a790;
    a791 = +a791;
    a792 = +a792;
    a793 = +a793;
    a794 = +a794;
    a795 = +a795;
    a796 = +a796;
    a797 = +a797;
    a798 = +a798;
    a799 = +a799;
    a800 = +a800;
    a801 = +a801;
    a802 = +a802;
    a803 = +a803;
    a804 = +a804;
    a805 = +a805;
    a806 = +a806;
    a807 = +a807;
    a808 = +a808;
    a809 = +a809;
    a810 = +a810;
    a811 = +a811;
    a812 = +a812;
    a813 = +a813;
    a814 = +a814;
    a815 = +a815;
    a816 = +a816;
    a817 = +a817;
    a818 = +a818;
    a819 = +a819;
    a820 = +a820;
    a821 = +a821;
    a822 = +a822;
    a823 = +a823;
    a824 = +a824;
    a825 = +a825;
    a826 = +a826;
    a827 = +a827;
    a828 = +a828;
    a829 = +a829;
    a830 = +a830;
    a831 = +a831;
    a832 = +a832;
    a833 = +a833;
    a834 = +a834;
    a835 = +a835;
    a836 = +a836;
    a837 = +a837;
    a838 = +a838;
    a839 = +a839;
    a840 = +a840;
    a841 = +a841;
    a842 = +a842;
    a843 = +a843;
    a844 = +a844;
    a845 = +a845;
    a846 = +a846;
    a847 = +a847;
    a848 = +a848;
    a849 = +a849;
    a850 = +a850;
    a851 = +a851;
    a852 = +a852;
    a853 = +a853;
    a854 = +a854;
    a855 = +a855;
    a856 = +a856;
    a857 = +a857;
    a858 = +a858;
    a859 = +a859;
    a860 = +a860;
    a861 = +a861;
    a862 = +a862;
    a863 = +a863;
    a864 = +a864;
    a865 = +a865;
    a866 = +a866;
    a867 = +a867;
    a868 = +a868;
    a869 = +a869;
    a870 = +a870;
    a871 = +a871;
    a872 = +a872;
    a873 = +a873;
    a874 = +a874;
    a875 = +a875;
    a876 = +a876;
    a877 = +a877;
    a878 = +a878;
    a879 = +a879;
    a880 = +a880;
    a881 = +a881;
    a882 = +a882;
    a883 = +a883;
    a884 = +a884;
    a885 = +a885;
    a886 = +a886;
    a887 = +a887;
    a888 = +a888;
    a889 = +a889;
    a890 = +a890;
    a891 = +a891;
    a892 = +a892;
    a893 = +a893;
    a894 = +a894;
    a895 = +a895;
    a896 = +a896;
    a897 = +a897;
    a898 = +a898;
    a899 = +a899;
    a900 = +a900;
    a901 = +a901;
    a902 = +a902;
    a903 = +a903;
    a904 = +a904;
    a905 = +a905;
    a906 = +a906;
    a907 = +a907;
    a908 = +a908;
    a909 = +a909;
    a910 = +a910;
    a911 = +a911;
    a912 = +a912;
    a913 = +a913;
    a914 = +a914;
    a915 = +a915;
    a916 = +a916;
    a917 = +a917;
    a918 = +a918;
    a919 = +a919;
    a920 = +a920;
    a921 = +a921;
    a922 = +a922;
    a923 = +a923;
    a924 = +a924;
    a925 = +a925;
    a926 = +a926;
    a927 = +a927;
    a928 = +a928;
    a929 = +a929;
    a930 = +a930;
    a931 = +a931;
    a932 = +a932;
    a933 = +a933;
    a934 = +a934;
    a935 = +a935;
    a936 = +a936;
    a937 = +a937;
    a938 = +a938;
    a939 = +a939;
    a940 = +a940;
    a941 = +a941;
    a942 = +a942;
    a943 = +a943;
    a944 = +a944;
    a945 = +a945;
    a946 = +a946;
    a947 = +a947;
    a948 = +a948;
    a949 = +a949;
    a950 = +a950;
    a951 = +a951;
    a952 = +a952;
    a953 = +a953;
    a954 = +a954;
    a955 = +a955;
    a956 = +a956;
    a957 = +a957;
    a958 = +a958;
    a959 = +a959;
    a960 = +a960;
    a961 = +a961;
    a962 = +a962;
    a963 = +a963;
    a964 = +a964;
    a965 = +a965;
    a966 = +a966;
    a967 = +a967;
    a968 = +a968;
    a969 = +a969;
    a970 = +a970;
    a971 = +a971;
    a972 = +a972;
    a973 = +a973;
    a974 = +a974;
    a975 = +a975;
    a976 = +a976;
    a977 = +a977;
    a978 = +a978;
    a979 = +a979;
    a980 = +a980;
    a981 = +a981;
    a982 = +a982;
    a983 = +a983;
    a984 = +a984;
    a985 = +a985;
    a986 = +a986;
    a987 = +a987;
    a988 = +a988;
    a989 = +a989;
    a990 = +a990;
    a991 = +a991;
    a992 = +a992;
    a993 = +a993;
    a994 = +a994;
    a995 = +a995;
    a996 = +a996;
    a997 = +a997;
    a998 = +a998;
    a999 = +a999;
    a1000 = +a1000;
    a1001 = +a1001;
    a1002 = +a1002;
    a1003 = +a1003;
    a1004 = +a1004;
    a1005 = +a1005;
    return 10;
  }
  function bar() {
    return foo(0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0,
               0.0, 0.0, 0.0, 0.0, 1.0) |
           0;
  }
  return bar
})()();