1# Copyright 2013 the V8 project authors. All rights reserved. 2# Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved. 3# 4# Redistribution and use in source and binary forms, with or without 5# modification, are permitted provided that the following conditions 6# are met: 7# 1. Redistributions of source code must retain the above copyright 8# notice, this list of conditions and the following disclaimer. 9# 2. Redistributions in binary form must reproduce the above copyright 10# notice, this list of conditions and the following disclaimer in the 11# documentation and/or other materials provided with the distribution. 12# 13# THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY 14# EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 15# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 16# DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY 17# DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 18# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 19# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON 20# ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 21# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS 22# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 23 24Tests what happens when you multiply a big unknown integer with a small known integer and detect that we have had an overflow. 25 26On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE". 27 28 29PASS foo(2147483647) is 140737488289792 30PASS foo(2147483647) is 140737488289792 31PASS foo(2147483647) is 140737488289792 32PASS foo(2147483647) is 140737488289792 33PASS foo(2147483647) is 140737488289792 34PASS foo(2147483647) is 140737488289792 35PASS foo(2147483647) is 140737488289792 36PASS foo(2147483647) is 140737488289792 37PASS foo(2147483647) is 140737488289792 38PASS foo(2147483647) is 140737488289792 39PASS foo(2147483647) is 140737488289792 40PASS foo(2147483647) is 140737488289792 41PASS foo(2147483647) is 140737488289792 42PASS foo(2147483647) is 140737488289792 43PASS foo(2147483647) is 140737488289792 44PASS foo(2147483647) is 140737488289792 45PASS foo(2147483647) is 140737488289792 46PASS foo(2147483647) is 140737488289792 47PASS foo(2147483647) is 140737488289792 48PASS foo(2147483647) is 140737488289792 49PASS foo(2147483647) is 140737488289792 50PASS foo(2147483647) is 140737488289792 51PASS foo(2147483647) is 140737488289792 52PASS foo(2147483647) is 140737488289792 53PASS foo(2147483647) is 140737488289792 54PASS foo(2147483647) is 140737488289792 55PASS foo(2147483647) is 140737488289792 56PASS foo(2147483647) is 140737488289792 57PASS foo(2147483647) is 140737488289792 58PASS foo(2147483647) is 140737488289792 59PASS foo(2147483647) is 140737488289792 60PASS foo(2147483647) is 140737488289792 61PASS foo(2147483647) is 140737488289792 62PASS foo(2147483647) is 140737488289792 63PASS foo(2147483647) is 140737488289792 64PASS foo(2147483647) is 140737488289792 65PASS foo(2147483647) is 140737488289792 66PASS foo(2147483647) is 140737488289792 67PASS foo(2147483647) is 140737488289792 68PASS foo(2147483647) is 140737488289792 69PASS foo(2147483647) is 140737488289792 70PASS foo(2147483647) is 140737488289792 71PASS foo(2147483647) is 140737488289792 72PASS foo(2147483647) is 140737488289792 73PASS foo(2147483647) is 140737488289792 74PASS foo(2147483647) is 140737488289792 75PASS foo(2147483647) is 140737488289792 76PASS foo(2147483647) is 140737488289792 77PASS foo(2147483647) is 140737488289792 78PASS foo(2147483647) is 140737488289792 79PASS foo(2147483647) is 140737488289792 80PASS foo(2147483647) is 140737488289792 81PASS foo(2147483647) is 140737488289792 82PASS foo(2147483647) is 140737488289792 83PASS foo(2147483647) is 140737488289792 84PASS foo(2147483647) is 140737488289792 85PASS foo(2147483647) is 140737488289792 86PASS foo(2147483647) is 140737488289792 87PASS foo(2147483647) is 140737488289792 88PASS foo(2147483647) is 140737488289792 89PASS foo(2147483647) is 140737488289792 90PASS foo(2147483647) is 140737488289792 91PASS foo(2147483647) is 140737488289792 92PASS foo(2147483647) is 140737488289792 93PASS foo(2147483647) is 140737488289792 94PASS foo(2147483647) is 140737488289792 95PASS foo(2147483647) is 140737488289792 96PASS foo(2147483647) is 140737488289792 97PASS foo(2147483647) is 140737488289792 98PASS foo(2147483647) is 140737488289792 99PASS foo(2147483647) is 140737488289792 100PASS foo(2147483647) is 140737488289792 101PASS foo(2147483647) is 140737488289792 102PASS foo(2147483647) is 140737488289792 103PASS foo(2147483647) is 140737488289792 104PASS foo(2147483647) is 140737488289792 105PASS foo(2147483647) is 140737488289792 106PASS foo(2147483647) is 140737488289792 107PASS foo(2147483647) is 140737488289792 108PASS foo(2147483647) is 140737488289792 109PASS foo(2147483647) is 140737488289792 110PASS foo(2147483647) is 140737488289792 111PASS foo(2147483647) is 140737488289792 112PASS foo(2147483647) is 140737488289792 113PASS foo(2147483647) is 140737488289792 114PASS foo(2147483647) is 140737488289792 115PASS foo(2147483647) is 140737488289792 116PASS foo(2147483647) is 140737488289792 117PASS foo(2147483647) is 140737488289792 118PASS foo(2147483647) is 140737488289792 119PASS foo(2147483647) is 140737488289792 120PASS foo(2147483647) is 140737488289792 121PASS foo(2147483647) is 140737488289792 122PASS foo(2147483647) is 140737488289792 123PASS foo(2147483647) is 140737488289792 124PASS foo(2147483647) is 140737488289792 125PASS foo(2147483647) is 140737488289792 126PASS foo(2147483647) is 140737488289792 127PASS foo(2147483647) is 140737488289792 128PASS foo(2147483647) is 140737488289792 129PASS foo(2147483647) is 140737488289792 130PASS foo(2147483647) is 140737488289792 131PASS foo(2147483647) is 140737488289792 132PASS foo(2147483647) is 140737488289792 133PASS foo(2147483647) is 140737488289792 134PASS foo(2147483647) is 140737488289792 135PASS foo(2147483647) is 140737488289792 136PASS foo(2147483647) is 140737488289792 137PASS foo(2147483647) is 140737488289792 138PASS foo(2147483647) is 140737488289792 139PASS foo(2147483647) is 140737488289792 140PASS foo(2147483647) is 140737488289792 141PASS foo(2147483647) is 140737488289792 142PASS foo(2147483647) is 140737488289792 143PASS foo(2147483647) is 140737488289792 144PASS foo(2147483647) is 140737488289792 145PASS foo(2147483647) is 140737488289792 146PASS foo(2147483647) is 140737488289792 147PASS foo(2147483647) is 140737488289792 148PASS foo(2147483647) is 140737488289792 149PASS foo(2147483647) is 140737488289792 150PASS foo(2147483647) is 140737488289792 151PASS foo(2147483647) is 140737488289792 152PASS foo(2147483647) is 140737488289792 153PASS foo(2147483647) is 140737488289792 154PASS foo(2147483647) is 140737488289792 155PASS foo(2147483647) is 140737488289792 156PASS foo(2147483647) is 140737488289792 157PASS foo(2147483647) is 140737488289792 158PASS foo(2147483647) is 140737488289792 159PASS foo(2147483647) is 140737488289792 160PASS foo(2147483647) is 140737488289792 161PASS foo(2147483647) is 140737488289792 162PASS foo(2147483647) is 140737488289792 163PASS foo(2147483647) is 140737488289792 164PASS foo(2147483647) is 140737488289792 165PASS foo(2147483647) is 140737488289792 166PASS foo(2147483647) is 140737488289792 167PASS foo(2147483647) is 140737488289792 168PASS foo(2147483647) is 140737488289792 169PASS foo(2147483647) is 140737488289792 170PASS foo(2147483647) is 140737488289792 171PASS foo(2147483647) is 140737488289792 172PASS foo(2147483647) is 140737488289792 173PASS foo(2147483647) is 140737488289792 174PASS foo(2147483647) is 140737488289792 175PASS foo(2147483647) is 140737488289792 176PASS foo(2147483647) is 140737488289792 177PASS foo(2147483647) is 140737488289792 178PASS foo(2147483647) is 140737488289792 179PASS foo(2147483647) is 140737488289792 180PASS foo(2147483647) is 140737488289792 181PASS foo(2147483647) is 140737488289792 182PASS foo(2147483647) is 140737488289792 183PASS foo(2147483647) is 140737488289792 184PASS foo(2147483647) is 140737488289792 185PASS foo(2147483647) is 140737488289792 186PASS foo(2147483647) is 140737488289792 187PASS foo(2147483647) is 140737488289792 188PASS foo(2147483647) is 140737488289792 189PASS foo(2147483647) is 140737488289792 190PASS foo(2147483647) is 140737488289792 191PASS foo(2147483647) is 140737488289792 192PASS foo(2147483647) is 140737488289792 193PASS foo(2147483647) is 140737488289792 194PASS foo(2147483647) is 140737488289792 195PASS foo(2147483647) is 140737488289792 196PASS foo(2147483647) is 140737488289792 197PASS foo(2147483647) is 140737488289792 198PASS foo(2147483647) is 140737488289792 199PASS foo(2147483647) is 140737488289792 200PASS foo(2147483647) is 140737488289792 201PASS foo(2147483647) is 140737488289792 202PASS foo(2147483647) is 140737488289792 203PASS foo(2147483647) is 140737488289792 204PASS foo(2147483647) is 140737488289792 205PASS foo(2147483647) is 140737488289792 206PASS foo(2147483647) is 140737488289792 207PASS foo(2147483647) is 140737488289792 208PASS foo(2147483647) is 140737488289792 209PASS foo(2147483647) is 140737488289792 210PASS foo(2147483647) is 140737488289792 211PASS foo(2147483647) is 140737488289792 212PASS foo(2147483647) is 140737488289792 213PASS foo(2147483647) is 140737488289792 214PASS foo(2147483647) is 140737488289792 215PASS foo(2147483647) is 140737488289792 216PASS foo(2147483647) is 140737488289792 217PASS foo(2147483647) is 140737488289792 218PASS foo(2147483647) is 140737488289792 219PASS foo(2147483647) is 140737488289792 220PASS foo(2147483647) is 140737488289792 221PASS foo(2147483647) is 140737488289792 222PASS foo(2147483647) is 140737488289792 223PASS foo(2147483647) is 140737488289792 224PASS foo(2147483647) is 140737488289792 225PASS foo(2147483647) is 140737488289792 226PASS foo(2147483647) is 140737488289792 227PASS foo(2147483647) is 140737488289792 228PASS foo(2147483647) is 140737488289792 229PASS foo(2147483647) is 140737488289792 230PASS foo(2147483647) is 140737488289792 231PASS foo(2147483647) is 140737488289792 232PASS foo(2147483647) is 140737488289792 233PASS foo(2147483647) is 140737488289792 234PASS foo(2147483647) is 140737488289792 235PASS foo(2147483647) is 140737488289792 236PASS foo(2147483647) is 140737488289792 237PASS foo(2147483647) is 140737488289792 238PASS foo(2147483647) is 140737488289792 239PASS foo(2147483647) is 140737488289792 240PASS foo(2147483647) is 140737488289792 241PASS foo(2147483647) is 140737488289792 242PASS foo(2147483647) is 140737488289792 243PASS foo(2147483647) is 140737488289792 244PASS foo(2147483647) is 140737488289792 245PASS foo(2147483647) is 140737488289792 246PASS foo(2147483647) is 140737488289792 247PASS foo(2147483647) is 140737488289792 248PASS foo(2147483647) is 140737488289792 249PASS foo(2147483647) is 140737488289792 250PASS foo(2147483647) is 140737488289792 251PASS foo(2147483647) is 140737488289792 252PASS foo(2147483647) is 140737488289792 253PASS foo(2147483647) is 140737488289792 254PASS foo(2147483647) is 140737488289792 255PASS foo(2147483647) is 140737488289792 256PASS foo(2147483647) is 140737488289792 257PASS foo(2147483647) is 140737488289792 258PASS foo(2147483647) is 140737488289792 259PASS foo(2147483647) is 140737488289792 260PASS foo(2147483647) is 140737488289792 261PASS foo(2147483647) is 140737488289792 262PASS foo(2147483647) is 140737488289792 263PASS foo(2147483647) is 140737488289792 264PASS foo(2147483647) is 140737488289792 265PASS foo(2147483647) is 140737488289792 266PASS foo(2147483647) is 140737488289792 267PASS foo(2147483647) is 140737488289792 268PASS foo(2147483647) is 140737488289792 269PASS foo(2147483647) is 140737488289792 270PASS foo(2147483647) is 140737488289792 271PASS foo(2147483647) is 140737488289792 272PASS foo(2147483647) is 140737488289792 273PASS foo(2147483647) is 140737488289792 274PASS foo(2147483647) is 140737488289792 275PASS foo(2147483647) is 140737488289792 276PASS foo(2147483647) is 140737488289792 277PASS foo(2147483647) is 140737488289792 278PASS foo(2147483647) is 140737488289792 279PASS foo(2147483647) is 140737488289792 280PASS foo(2147483647) is 140737488289792 281PASS foo(2147483647) is 140737488289792 282PASS foo(2147483647) is 140737488289792 283PASS foo(2147483647) is 140737488289792 284PASS foo(2147483647) is 140737488289792 285PASS foo(2147483647) is 140737488289792 286PASS foo(2147483647) is 140737488289792 287PASS foo(2147483647) is 140737488289792 288PASS foo(2147483647) is 140737488289792 289PASS foo(2147483647) is 140737488289792 290PASS foo(2147483647) is 140737488289792 291PASS foo(2147483647) is 140737488289792 292PASS foo(2147483647) is 140737488289792 293PASS foo(2147483647) is 140737488289792 294PASS foo(2147483647) is 140737488289792 295PASS foo(2147483647) is 140737488289792 296PASS foo(2147483647) is 140737488289792 297PASS foo(2147483647) is 140737488289792 298PASS foo(2147483647) is 140737488289792 299PASS foo(2147483647) is 140737488289792 300PASS foo(2147483647) is 140737488289792 301PASS foo(2147483647) is 140737488289792 302PASS foo(2147483647) is 140737488289792 303PASS foo(2147483647) is 140737488289792 304PASS foo(2147483647) is 140737488289792 305PASS foo(2147483647) is 140737488289792 306PASS foo(2147483647) is 140737488289792 307PASS foo(2147483647) is 140737488289792 308PASS foo(2147483647) is 140737488289792 309PASS foo(2147483647) is 140737488289792 310PASS foo(2147483647) is 140737488289792 311PASS foo(2147483647) is 140737488289792 312PASS foo(2147483647) is 140737488289792 313PASS foo(2147483647) is 140737488289792 314PASS foo(2147483647) is 140737488289792 315PASS foo(2147483647) is 140737488289792 316PASS foo(2147483647) is 140737488289792 317PASS foo(2147483647) is 140737488289792 318PASS foo(2147483647) is 140737488289792 319PASS foo(2147483647) is 140737488289792 320PASS foo(2147483647) is 140737488289792 321PASS foo(2147483647) is 140737488289792 322PASS foo(2147483647) is 140737488289792 323PASS foo(2147483647) is 140737488289792 324PASS foo(2147483647) is 140737488289792 325PASS foo(2147483647) is 140737488289792 326PASS foo(2147483647) is 140737488289792 327PASS foo(2147483647) is 140737488289792 328PASS foo(2147483647) is 140737488289792 329PASS foo(2147483647) is 140737488289792 330PASS foo(2147483647) is 140737488289792 331PASS foo(2147483647) is 140737488289792 332PASS foo(2147483647) is 140737488289792 333PASS foo(2147483647) is 140737488289792 334PASS foo(2147483647) is 140737488289792 335PASS foo(2147483647) is 140737488289792 336PASS foo(2147483647) is 140737488289792 337PASS foo(2147483647) is 140737488289792 338PASS foo(2147483647) is 140737488289792 339PASS foo(2147483647) is 140737488289792 340PASS foo(2147483647) is 140737488289792 341PASS foo(2147483647) is 140737488289792 342PASS foo(2147483647) is 140737488289792 343PASS foo(2147483647) is 140737488289792 344PASS foo(2147483647) is 140737488289792 345PASS foo(2147483647) is 140737488289792 346PASS foo(2147483647) is 140737488289792 347PASS foo(2147483647) is 140737488289792 348PASS foo(2147483647) is 140737488289792 349PASS foo(2147483647) is 140737488289792 350PASS foo(2147483647) is 140737488289792 351PASS foo(2147483647) is 140737488289792 352PASS foo(2147483647) is 140737488289792 353PASS foo(2147483647) is 140737488289792 354PASS foo(2147483647) is 140737488289792 355PASS foo(2147483647) is 140737488289792 356PASS foo(2147483647) is 140737488289792 357PASS foo(2147483647) is 140737488289792 358PASS foo(2147483647) is 140737488289792 359PASS foo(2147483647) is 140737488289792 360PASS foo(2147483647) is 140737488289792 361PASS foo(2147483647) is 140737488289792 362PASS foo(2147483647) is 140737488289792 363PASS foo(2147483647) is 140737488289792 364PASS foo(2147483647) is 140737488289792 365PASS foo(2147483647) is 140737488289792 366PASS foo(2147483647) is 140737488289792 367PASS foo(2147483647) is 140737488289792 368PASS foo(2147483647) is 140737488289792 369PASS foo(2147483647) is 140737488289792 370PASS foo(2147483647) is 140737488289792 371PASS foo(2147483647) is 140737488289792 372PASS foo(2147483647) is 140737488289792 373PASS foo(2147483647) is 140737488289792 374PASS foo(2147483647) is 140737488289792 375PASS foo(2147483647) is 140737488289792 376PASS foo(2147483647) is 140737488289792 377PASS foo(2147483647) is 140737488289792 378PASS foo(2147483647) is 140737488289792 379PASS foo(2147483647) is 140737488289792 380PASS foo(2147483647) is 140737488289792 381PASS foo(2147483647) is 140737488289792 382PASS foo(2147483647) is 140737488289792 383PASS foo(2147483647) is 140737488289792 384PASS foo(2147483647) is 140737488289792 385PASS foo(2147483647) is 140737488289792 386PASS foo(2147483647) is 140737488289792 387PASS foo(2147483647) is 140737488289792 388PASS foo(2147483647) is 140737488289792 389PASS foo(2147483647) is 140737488289792 390PASS foo(2147483647) is 140737488289792 391PASS foo(2147483647) is 140737488289792 392PASS foo(2147483647) is 140737488289792 393PASS foo(2147483647) is 140737488289792 394PASS foo(2147483647) is 140737488289792 395PASS foo(2147483647) is 140737488289792 396PASS foo(2147483647) is 140737488289792 397PASS foo(2147483647) is 140737488289792 398PASS foo(2147483647) is 140737488289792 399PASS foo(2147483647) is 140737488289792 400PASS foo(2147483647) is 140737488289792 401PASS foo(2147483647) is 140737488289792 402PASS foo(2147483647) is 140737488289792 403PASS foo(2147483647) is 140737488289792 404PASS foo(2147483647) is 140737488289792 405PASS foo(2147483647) is 140737488289792 406PASS foo(2147483647) is 140737488289792 407PASS foo(2147483647) is 140737488289792 408PASS foo(2147483647) is 140737488289792 409PASS foo(2147483647) is 140737488289792 410PASS foo(2147483647) is 140737488289792 411PASS foo(2147483647) is 140737488289792 412PASS foo(2147483647) is 140737488289792 413PASS foo(2147483647) is 140737488289792 414PASS foo(2147483647) is 140737488289792 415PASS foo(2147483647) is 140737488289792 416PASS foo(2147483647) is 140737488289792 417PASS foo(2147483647) is 140737488289792 418PASS foo(2147483647) is 140737488289792 419PASS foo(2147483647) is 140737488289792 420PASS foo(2147483647) is 140737488289792 421PASS foo(2147483647) is 140737488289792 422PASS foo(2147483647) is 140737488289792 423PASS foo(2147483647) is 140737488289792 424PASS foo(2147483647) is 140737488289792 425PASS foo(2147483647) is 140737488289792 426PASS foo(2147483647) is 140737488289792 427PASS foo(2147483647) is 140737488289792 428PASS foo(2147483647) is 140737488289792 429PASS foo(2147483647) is 140737488289792 430PASS foo(2147483647) is 140737488289792 431PASS foo(2147483647) is 140737488289792 432PASS foo(2147483647) is 140737488289792 433PASS foo(2147483647) is 140737488289792 434PASS foo(2147483647) is 140737488289792 435PASS foo(2147483647) is 140737488289792 436PASS foo(2147483647) is 140737488289792 437PASS foo(2147483647) is 140737488289792 438PASS foo(2147483647) is 140737488289792 439PASS foo(2147483647) is 140737488289792 440PASS foo(2147483647) is 140737488289792 441PASS foo(2147483647) is 140737488289792 442PASS foo(2147483647) is 140737488289792 443PASS foo(2147483647) is 140737488289792 444PASS foo(2147483647) is 140737488289792 445PASS foo(2147483647) is 140737488289792 446PASS foo(2147483647) is 140737488289792 447PASS foo(2147483647) is 140737488289792 448PASS foo(2147483647) is 140737488289792 449PASS foo(2147483647) is 140737488289792 450PASS foo(2147483647) is 140737488289792 451PASS foo(2147483647) is 140737488289792 452PASS foo(2147483647) is 140737488289792 453PASS foo(2147483647) is 140737488289792 454PASS foo(2147483647) is 140737488289792 455PASS foo(2147483647) is 140737488289792 456PASS foo(2147483647) is 140737488289792 457PASS foo(2147483647) is 140737488289792 458PASS foo(2147483647) is 140737488289792 459PASS foo(2147483647) is 140737488289792 460PASS foo(2147483647) is 140737488289792 461PASS foo(2147483647) is 140737488289792 462PASS foo(2147483647) is 140737488289792 463PASS foo(2147483647) is 140737488289792 464PASS foo(2147483647) is 140737488289792 465PASS foo(2147483647) is 140737488289792 466PASS foo(2147483647) is 140737488289792 467PASS foo(2147483647) is 140737488289792 468PASS foo(2147483647) is 140737488289792 469PASS foo(2147483647) is 140737488289792 470PASS foo(2147483647) is 140737488289792 471PASS foo(2147483647) is 140737488289792 472PASS foo(2147483647) is 140737488289792 473PASS foo(2147483647) is 140737488289792 474PASS foo(2147483647) is 140737488289792 475PASS foo(2147483647) is 140737488289792 476PASS foo(2147483647) is 140737488289792 477PASS foo(2147483647) is 140737488289792 478PASS foo(2147483647) is 140737488289792 479PASS foo(2147483647) is 140737488289792 480PASS foo(2147483647) is 140737488289792 481PASS foo(2147483647) is 140737488289792 482PASS foo(2147483647) is 140737488289792 483PASS foo(2147483647) is 140737488289792 484PASS foo(2147483647) is 140737488289792 485PASS foo(2147483647) is 140737488289792 486PASS foo(2147483647) is 140737488289792 487PASS foo(2147483647) is 140737488289792 488PASS foo(2147483647) is 140737488289792 489PASS foo(2147483647) is 140737488289792 490PASS foo(2147483647) is 140737488289792 491PASS foo(2147483647) is 140737488289792 492PASS foo(2147483647) is 140737488289792 493PASS foo(2147483647) is 140737488289792 494PASS foo(2147483647) is 140737488289792 495PASS foo(2147483647) is 140737488289792 496PASS foo(2147483647) is 140737488289792 497PASS foo(2147483647) is 140737488289792 498PASS foo(2147483647) is 140737488289792 499PASS foo(2147483647) is 140737488289792 500PASS foo(2147483647) is 140737488289792 501PASS foo(2147483647) is 140737488289792 502PASS foo(2147483647) is 140737488289792 503PASS foo(2147483647) is 140737488289792 504PASS foo(2147483647) is 140737488289792 505PASS foo(2147483647) is 140737488289792 506PASS foo(2147483647) is 140737488289792 507PASS foo(2147483647) is 140737488289792 508PASS foo(2147483647) is 140737488289792 509PASS foo(2147483647) is 140737488289792 510PASS foo(2147483647) is 140737488289792 511PASS foo(2147483647) is 140737488289792 512PASS foo(2147483647) is 140737488289792 513PASS foo(2147483647) is 140737488289792 514PASS foo(2147483647) is 140737488289792 515PASS foo(2147483647) is 140737488289792 516PASS foo(2147483647) is 140737488289792 517PASS foo(2147483647) is 140737488289792 518PASS foo(2147483647) is 140737488289792 519PASS foo(2147483647) is 140737488289792 520PASS foo(2147483647) is 140737488289792 521PASS foo(2147483647) is 140737488289792 522PASS foo(2147483647) is 140737488289792 523PASS foo(2147483647) is 140737488289792 524PASS foo(2147483647) is 140737488289792 525PASS foo(2147483647) is 140737488289792 526PASS foo(2147483647) is 140737488289792 527PASS foo(2147483647) is 140737488289792 528PASS foo(2147483647) is 140737488289792 529PASS foo(2147483647) is 140737488289792 530PASS foo(2147483647) is 140737488289792 531PASS foo(2147483647) is 140737488289792 532PASS foo(2147483647) is 140737488289792 533PASS foo(2147483647) is 140737488289792 534PASS foo(2147483647) is 140737488289792 535PASS foo(2147483647) is 140737488289792 536PASS foo(2147483647) is 140737488289792 537PASS foo(2147483647) is 140737488289792 538PASS foo(2147483647) is 140737488289792 539PASS foo(2147483647) is 140737488289792 540PASS foo(2147483647) is 140737488289792 541PASS foo(2147483647) is 140737488289792 542PASS foo(2147483647) is 140737488289792 543PASS foo(2147483647) is 140737488289792 544PASS foo(2147483647) is 140737488289792 545PASS foo(2147483647) is 140737488289792 546PASS foo(2147483647) is 140737488289792 547PASS foo(2147483647) is 140737488289792 548PASS foo(2147483647) is 140737488289792 549PASS foo(2147483647) is 140737488289792 550PASS foo(2147483647) is 140737488289792 551PASS foo(2147483647) is 140737488289792 552PASS foo(2147483647) is 140737488289792 553PASS foo(2147483647) is 140737488289792 554PASS foo(2147483647) is 140737488289792 555PASS foo(2147483647) is 140737488289792 556PASS foo(2147483647) is 140737488289792 557PASS foo(2147483647) is 140737488289792 558PASS foo(2147483647) is 140737488289792 559PASS foo(2147483647) is 140737488289792 560PASS foo(2147483647) is 140737488289792 561PASS foo(2147483647) is 140737488289792 562PASS foo(2147483647) is 140737488289792 563PASS foo(2147483647) is 140737488289792 564PASS foo(2147483647) is 140737488289792 565PASS foo(2147483647) is 140737488289792 566PASS foo(2147483647) is 140737488289792 567PASS foo(2147483647) is 140737488289792 568PASS foo(2147483647) is 140737488289792 569PASS foo(2147483647) is 140737488289792 570PASS foo(2147483647) is 140737488289792 571PASS foo(2147483647) is 140737488289792 572PASS foo(2147483647) is 140737488289792 573PASS foo(2147483647) is 140737488289792 574PASS foo(2147483647) is 140737488289792 575PASS foo(2147483647) is 140737488289792 576PASS foo(2147483647) is 140737488289792 577PASS foo(2147483647) is 140737488289792 578PASS foo(2147483647) is 140737488289792 579PASS foo(2147483647) is 140737488289792 580PASS foo(2147483647) is 140737488289792 581PASS foo(2147483647) is 140737488289792 582PASS foo(2147483647) is 140737488289792 583PASS foo(2147483647) is 140737488289792 584PASS foo(2147483647) is 140737488289792 585PASS foo(2147483647) is 140737488289792 586PASS foo(2147483647) is 140737488289792 587PASS foo(2147483647) is 140737488289792 588PASS foo(2147483647) is 140737488289792 589PASS foo(2147483647) is 140737488289792 590PASS foo(2147483647) is 140737488289792 591PASS foo(2147483647) is 140737488289792 592PASS foo(2147483647) is 140737488289792 593PASS foo(2147483647) is 140737488289792 594PASS foo(2147483647) is 140737488289792 595PASS foo(2147483647) is 140737488289792 596PASS foo(2147483647) is 140737488289792 597PASS foo(2147483647) is 140737488289792 598PASS foo(2147483647) is 140737488289792 599PASS foo(2147483647) is 140737488289792 600PASS foo(2147483647) is 140737488289792 601PASS foo(2147483647) is 140737488289792 602PASS foo(2147483647) is 140737488289792 603PASS foo(2147483647) is 140737488289792 604PASS foo(2147483647) is 140737488289792 605PASS foo(2147483647) is 140737488289792 606PASS foo(2147483647) is 140737488289792 607PASS foo(2147483647) is 140737488289792 608PASS foo(2147483647) is 140737488289792 609PASS foo(2147483647) is 140737488289792 610PASS foo(2147483647) is 140737488289792 611PASS foo(2147483647) is 140737488289792 612PASS foo(2147483647) is 140737488289792 613PASS foo(2147483647) is 140737488289792 614PASS foo(2147483647) is 140737488289792 615PASS foo(2147483647) is 140737488289792 616PASS foo(2147483647) is 140737488289792 617PASS foo(2147483647) is 140737488289792 618PASS foo(2147483647) is 140737488289792 619PASS foo(2147483647) is 140737488289792 620PASS foo(2147483647) is 140737488289792 621PASS foo(2147483647) is 140737488289792 622PASS foo(2147483647) is 140737488289792 623PASS foo(2147483647) is 140737488289792 624PASS foo(2147483647) is 140737488289792 625PASS foo(2147483647) is 140737488289792 626PASS foo(2147483647) is 140737488289792 627PASS foo(2147483647) is 140737488289792 628PASS foo(2147483647) is 140737488289792 629PASS foo(2147483647) is 140737488289792 630PASS foo(2147483647) is 140737488289792 631PASS foo(2147483647) is 140737488289792 632PASS foo(2147483647) is 140737488289792 633PASS foo(2147483647) is 140737488289792 634PASS foo(2147483647) is 140737488289792 635PASS foo(2147483647) is 140737488289792 636PASS foo(2147483647) is 140737488289792 637PASS foo(2147483647) is 140737488289792 638PASS foo(2147483647) is 140737488289792 639PASS foo(2147483647) is 140737488289792 640PASS foo(2147483647) is 140737488289792 641PASS foo(2147483647) is 140737488289792 642PASS foo(2147483647) is 140737488289792 643PASS foo(2147483647) is 140737488289792 644PASS foo(2147483647) is 140737488289792 645PASS foo(2147483647) is 140737488289792 646PASS foo(2147483647) is 140737488289792 647PASS foo(2147483647) is 140737488289792 648PASS foo(2147483647) is 140737488289792 649PASS foo(2147483647) is 140737488289792 650PASS foo(2147483647) is 140737488289792 651PASS foo(2147483647) is 140737488289792 652PASS foo(2147483647) is 140737488289792 653PASS foo(2147483647) is 140737488289792 654PASS foo(2147483647) is 140737488289792 655PASS foo(2147483647) is 140737488289792 656PASS foo(2147483647) is 140737488289792 657PASS foo(2147483647) is 140737488289792 658PASS foo(2147483647) is 140737488289792 659PASS foo(2147483647) is 140737488289792 660PASS foo(2147483647) is 140737488289792 661PASS foo(2147483647) is 140737488289792 662PASS foo(2147483647) is 140737488289792 663PASS foo(2147483647) is 140737488289792 664PASS foo(2147483647) is 140737488289792 665PASS foo(2147483647) is 140737488289792 666PASS foo(2147483647) is 140737488289792 667PASS foo(2147483647) is 140737488289792 668PASS foo(2147483647) is 140737488289792 669PASS foo(2147483647) is 140737488289792 670PASS foo(2147483647) is 140737488289792 671PASS foo(2147483647) is 140737488289792 672PASS foo(2147483647) is 140737488289792 673PASS foo(2147483647) is 140737488289792 674PASS foo(2147483647) is 140737488289792 675PASS foo(2147483647) is 140737488289792 676PASS foo(2147483647) is 140737488289792 677PASS foo(2147483647) is 140737488289792 678PASS foo(2147483647) is 140737488289792 679PASS foo(2147483647) is 140737488289792 680PASS foo(2147483647) is 140737488289792 681PASS foo(2147483647) is 140737488289792 682PASS foo(2147483647) is 140737488289792 683PASS foo(2147483647) is 140737488289792 684PASS foo(2147483647) is 140737488289792 685PASS foo(2147483647) is 140737488289792 686PASS foo(2147483647) is 140737488289792 687PASS foo(2147483647) is 140737488289792 688PASS foo(2147483647) is 140737488289792 689PASS foo(2147483647) is 140737488289792 690PASS foo(2147483647) is 140737488289792 691PASS foo(2147483647) is 140737488289792 692PASS foo(2147483647) is 140737488289792 693PASS foo(2147483647) is 140737488289792 694PASS foo(2147483647) is 140737488289792 695PASS foo(2147483647) is 140737488289792 696PASS foo(2147483647) is 140737488289792 697PASS foo(2147483647) is 140737488289792 698PASS foo(2147483647) is 140737488289792 699PASS foo(2147483647) is 140737488289792 700PASS foo(2147483647) is 140737488289792 701PASS foo(2147483647) is 140737488289792 702PASS foo(2147483647) is 140737488289792 703PASS foo(2147483647) is 140737488289792 704PASS foo(2147483647) is 140737488289792 705PASS foo(2147483647) is 140737488289792 706PASS foo(2147483647) is 140737488289792 707PASS foo(2147483647) is 140737488289792 708PASS foo(2147483647) is 140737488289792 709PASS foo(2147483647) is 140737488289792 710PASS foo(2147483647) is 140737488289792 711PASS foo(2147483647) is 140737488289792 712PASS foo(2147483647) is 140737488289792 713PASS foo(2147483647) is 140737488289792 714PASS foo(2147483647) is 140737488289792 715PASS foo(2147483647) is 140737488289792 716PASS foo(2147483647) is 140737488289792 717PASS foo(2147483647) is 140737488289792 718PASS foo(2147483647) is 140737488289792 719PASS foo(2147483647) is 140737488289792 720PASS foo(2147483647) is 140737488289792 721PASS foo(2147483647) is 140737488289792 722PASS foo(2147483647) is 140737488289792 723PASS foo(2147483647) is 140737488289792 724PASS foo(2147483647) is 140737488289792 725PASS foo(2147483647) is 140737488289792 726PASS foo(2147483647) is 140737488289792 727PASS foo(2147483647) is 140737488289792 728PASS foo(2147483647) is 140737488289792 729PASS foo(2147483647) is 140737488289792 730PASS foo(2147483647) is 140737488289792 731PASS foo(2147483647) is 140737488289792 732PASS foo(2147483647) is 140737488289792 733PASS foo(2147483647) is 140737488289792 734PASS foo(2147483647) is 140737488289792 735PASS foo(2147483647) is 140737488289792 736PASS foo(2147483647) is 140737488289792 737PASS foo(2147483647) is 140737488289792 738PASS foo(2147483647) is 140737488289792 739PASS foo(2147483647) is 140737488289792 740PASS foo(2147483647) is 140737488289792 741PASS foo(2147483647) is 140737488289792 742PASS foo(2147483647) is 140737488289792 743PASS foo(2147483647) is 140737488289792 744PASS foo(2147483647) is 140737488289792 745PASS foo(2147483647) is 140737488289792 746PASS foo(2147483647) is 140737488289792 747PASS foo(2147483647) is 140737488289792 748PASS foo(2147483647) is 140737488289792 749PASS foo(2147483647) is 140737488289792 750PASS foo(2147483647) is 140737488289792 751PASS foo(2147483647) is 140737488289792 752PASS foo(2147483647) is 140737488289792 753PASS foo(2147483647) is 140737488289792 754PASS foo(2147483647) is 140737488289792 755PASS foo(2147483647) is 140737488289792 756PASS foo(2147483647) is 140737488289792 757PASS foo(2147483647) is 140737488289792 758PASS foo(2147483647) is 140737488289792 759PASS foo(2147483647) is 140737488289792 760PASS foo(2147483647) is 140737488289792 761PASS foo(2147483647) is 140737488289792 762PASS foo(2147483647) is 140737488289792 763PASS foo(2147483647) is 140737488289792 764PASS foo(2147483647) is 140737488289792 765PASS foo(2147483647) is 140737488289792 766PASS foo(2147483647) is 140737488289792 767PASS foo(2147483647) is 140737488289792 768PASS foo(2147483647) is 140737488289792 769PASS foo(2147483647) is 140737488289792 770PASS foo(2147483647) is 140737488289792 771PASS foo(2147483647) is 140737488289792 772PASS foo(2147483647) is 140737488289792 773PASS foo(2147483647) is 140737488289792 774PASS foo(2147483647) is 140737488289792 775PASS foo(2147483647) is 140737488289792 776PASS foo(2147483647) is 140737488289792 777PASS foo(2147483647) is 140737488289792 778PASS foo(2147483647) is 140737488289792 779PASS foo(2147483647) is 140737488289792 780PASS foo(2147483647) is 140737488289792 781PASS foo(2147483647) is 140737488289792 782PASS foo(2147483647) is 140737488289792 783PASS foo(2147483647) is 140737488289792 784PASS foo(2147483647) is 140737488289792 785PASS foo(2147483647) is 140737488289792 786PASS foo(2147483647) is 140737488289792 787PASS foo(2147483647) is 140737488289792 788PASS foo(2147483647) is 140737488289792 789PASS foo(2147483647) is 140737488289792 790PASS foo(2147483647) is 140737488289792 791PASS foo(2147483647) is 140737488289792 792PASS foo(2147483647) is 140737488289792 793PASS foo(2147483647) is 140737488289792 794PASS foo(2147483647) is 140737488289792 795PASS foo(2147483647) is 140737488289792 796PASS foo(2147483647) is 140737488289792 797PASS foo(2147483647) is 140737488289792 798PASS foo(2147483647) is 140737488289792 799PASS foo(2147483647) is 140737488289792 800PASS foo(2147483647) is 140737488289792 801PASS foo(2147483647) is 140737488289792 802PASS foo(2147483647) is 140737488289792 803PASS foo(2147483647) is 140737488289792 804PASS foo(2147483647) is 140737488289792 805PASS foo(2147483647) is 140737488289792 806PASS foo(2147483647) is 140737488289792 807PASS foo(2147483647) is 140737488289792 808PASS foo(2147483647) is 140737488289792 809PASS foo(2147483647) is 140737488289792 810PASS foo(2147483647) is 140737488289792 811PASS foo(2147483647) is 140737488289792 812PASS foo(2147483647) is 140737488289792 813PASS foo(2147483647) is 140737488289792 814PASS foo(2147483647) is 140737488289792 815PASS foo(2147483647) is 140737488289792 816PASS foo(2147483647) is 140737488289792 817PASS foo(2147483647) is 140737488289792 818PASS foo(2147483647) is 140737488289792 819PASS foo(2147483647) is 140737488289792 820PASS foo(2147483647) is 140737488289792 821PASS foo(2147483647) is 140737488289792 822PASS foo(2147483647) is 140737488289792 823PASS foo(2147483647) is 140737488289792 824PASS foo(2147483647) is 140737488289792 825PASS foo(2147483647) is 140737488289792 826PASS foo(2147483647) is 140737488289792 827PASS foo(2147483647) is 140737488289792 828PASS foo(2147483647) is 140737488289792 829PASS foo(2147483647) is 140737488289792 830PASS foo(2147483647) is 140737488289792 831PASS foo(2147483647) is 140737488289792 832PASS foo(2147483647) is 140737488289792 833PASS foo(2147483647) is 140737488289792 834PASS foo(2147483647) is 140737488289792 835PASS foo(2147483647) is 140737488289792 836PASS foo(2147483647) is 140737488289792 837PASS foo(2147483647) is 140737488289792 838PASS foo(2147483647) is 140737488289792 839PASS foo(2147483647) is 140737488289792 840PASS foo(2147483647) is 140737488289792 841PASS foo(2147483647) is 140737488289792 842PASS foo(2147483647) is 140737488289792 843PASS foo(2147483647) is 140737488289792 844PASS foo(2147483647) is 140737488289792 845PASS foo(2147483647) is 140737488289792 846PASS foo(2147483647) is 140737488289792 847PASS foo(2147483647) is 140737488289792 848PASS foo(2147483647) is 140737488289792 849PASS foo(2147483647) is 140737488289792 850PASS foo(2147483647) is 140737488289792 851PASS foo(2147483647) is 140737488289792 852PASS foo(2147483647) is 140737488289792 853PASS foo(2147483647) is 140737488289792 854PASS foo(2147483647) is 140737488289792 855PASS foo(2147483647) is 140737488289792 856PASS foo(2147483647) is 140737488289792 857PASS foo(2147483647) is 140737488289792 858PASS foo(2147483647) is 140737488289792 859PASS foo(2147483647) is 140737488289792 860PASS foo(2147483647) is 140737488289792 861PASS foo(2147483647) is 140737488289792 862PASS foo(2147483647) is 140737488289792 863PASS foo(2147483647) is 140737488289792 864PASS foo(2147483647) is 140737488289792 865PASS foo(2147483647) is 140737488289792 866PASS foo(2147483647) is 140737488289792 867PASS foo(2147483647) is 140737488289792 868PASS foo(2147483647) is 140737488289792 869PASS foo(2147483647) is 140737488289792 870PASS foo(2147483647) is 140737488289792 871PASS foo(2147483647) is 140737488289792 872PASS foo(2147483647) is 140737488289792 873PASS foo(2147483647) is 140737488289792 874PASS foo(2147483647) is 140737488289792 875PASS foo(2147483647) is 140737488289792 876PASS foo(2147483647) is 140737488289792 877PASS foo(2147483647) is 140737488289792 878PASS foo(2147483647) is 140737488289792 879PASS foo(2147483647) is 140737488289792 880PASS foo(2147483647) is 140737488289792 881PASS foo(2147483647) is 140737488289792 882PASS foo(2147483647) is 140737488289792 883PASS foo(2147483647) is 140737488289792 884PASS foo(2147483647) is 140737488289792 885PASS foo(2147483647) is 140737488289792 886PASS foo(2147483647) is 140737488289792 887PASS foo(2147483647) is 140737488289792 888PASS foo(2147483647) is 140737488289792 889PASS foo(2147483647) is 140737488289792 890PASS foo(2147483647) is 140737488289792 891PASS foo(2147483647) is 140737488289792 892PASS foo(2147483647) is 140737488289792 893PASS foo(2147483647) is 140737488289792 894PASS foo(2147483647) is 140737488289792 895PASS foo(2147483647) is 140737488289792 896PASS foo(2147483647) is 140737488289792 897PASS foo(2147483647) is 140737488289792 898PASS foo(2147483647) is 140737488289792 899PASS foo(2147483647) is 140737488289792 900PASS foo(2147483647) is 140737488289792 901PASS foo(2147483647) is 140737488289792 902PASS foo(2147483647) is 140737488289792 903PASS foo(2147483647) is 140737488289792 904PASS foo(2147483647) is 140737488289792 905PASS foo(2147483647) is 140737488289792 906PASS foo(2147483647) is 140737488289792 907PASS foo(2147483647) is 140737488289792 908PASS foo(2147483647) is 140737488289792 909PASS foo(2147483647) is 140737488289792 910PASS foo(2147483647) is 140737488289792 911PASS foo(2147483647) is 140737488289792 912PASS foo(2147483647) is 140737488289792 913PASS foo(2147483647) is 140737488289792 914PASS foo(2147483647) is 140737488289792 915PASS foo(2147483647) is 140737488289792 916PASS foo(2147483647) is 140737488289792 917PASS foo(2147483647) is 140737488289792 918PASS foo(2147483647) is 140737488289792 919PASS foo(2147483647) is 140737488289792 920PASS foo(2147483647) is 140737488289792 921PASS foo(2147483647) is 140737488289792 922PASS foo(2147483647) is 140737488289792 923PASS foo(2147483647) is 140737488289792 924PASS foo(2147483647) is 140737488289792 925PASS foo(2147483647) is 140737488289792 926PASS foo(2147483647) is 140737488289792 927PASS foo(2147483647) is 140737488289792 928PASS foo(2147483647) is 140737488289792 929PASS foo(2147483647) is 140737488289792 930PASS foo(2147483647) is 140737488289792 931PASS foo(2147483647) is 140737488289792 932PASS foo(2147483647) is 140737488289792 933PASS foo(2147483647) is 140737488289792 934PASS foo(2147483647) is 140737488289792 935PASS foo(2147483647) is 140737488289792 936PASS foo(2147483647) is 140737488289792 937PASS foo(2147483647) is 140737488289792 938PASS foo(2147483647) is 140737488289792 939PASS foo(2147483647) is 140737488289792 940PASS foo(2147483647) is 140737488289792 941PASS foo(2147483647) is 140737488289792 942PASS foo(2147483647) is 140737488289792 943PASS foo(2147483647) is 140737488289792 944PASS foo(2147483647) is 140737488289792 945PASS foo(2147483647) is 140737488289792 946PASS foo(2147483647) is 140737488289792 947PASS foo(2147483647) is 140737488289792 948PASS foo(2147483647) is 140737488289792 949PASS foo(2147483647) is 140737488289792 950PASS foo(2147483647) is 140737488289792 951PASS foo(2147483647) is 140737488289792 952PASS foo(2147483647) is 140737488289792 953PASS foo(2147483647) is 140737488289792 954PASS foo(2147483647) is 140737488289792 955PASS foo(2147483647) is 140737488289792 956PASS foo(2147483647) is 140737488289792 957PASS foo(2147483647) is 140737488289792 958PASS foo(2147483647) is 140737488289792 959PASS foo(2147483647) is 140737488289792 960PASS foo(2147483647) is 140737488289792 961PASS foo(2147483647) is 140737488289792 962PASS foo(2147483647) is 140737488289792 963PASS foo(2147483647) is 140737488289792 964PASS foo(2147483647) is 140737488289792 965PASS foo(2147483647) is 140737488289792 966PASS foo(2147483647) is 140737488289792 967PASS foo(2147483647) is 140737488289792 968PASS foo(2147483647) is 140737488289792 969PASS foo(2147483647) is 140737488289792 970PASS foo(2147483647) is 140737488289792 971PASS foo(2147483647) is 140737488289792 972PASS foo(2147483647) is 140737488289792 973PASS foo(2147483647) is 140737488289792 974PASS foo(2147483647) is 140737488289792 975PASS foo(2147483647) is 140737488289792 976PASS foo(2147483647) is 140737488289792 977PASS foo(2147483647) is 140737488289792 978PASS foo(2147483647) is 140737488289792 979PASS foo(2147483647) is 140737488289792 980PASS foo(2147483647) is 140737488289792 981PASS foo(2147483647) is 140737488289792 982PASS foo(2147483647) is 140737488289792 983PASS foo(2147483647) is 140737488289792 984PASS foo(2147483647) is 140737488289792 985PASS foo(2147483647) is 140737488289792 986PASS foo(2147483647) is 140737488289792 987PASS foo(2147483647) is 140737488289792 988PASS foo(2147483647) is 140737488289792 989PASS foo(2147483647) is 140737488289792 990PASS foo(2147483647) is 140737488289792 991PASS foo(2147483647) is 140737488289792 992PASS foo(2147483647) is 140737488289792 993PASS foo(2147483647) is 140737488289792 994PASS foo(2147483647) is 140737488289792 995PASS foo(2147483647) is 140737488289792 996PASS foo(2147483647) is 140737488289792 997PASS foo(2147483647) is 140737488289792 998PASS foo(2147483647) is 140737488289792 999PASS foo(2147483647) is 140737488289792 1000PASS foo(2147483647) is 140737488289792 1001PASS foo(2147483647) is 140737488289792 1002PASS foo(2147483647) is 140737488289792 1003PASS foo(2147483647) is 140737488289792 1004PASS foo(2147483647) is 140737488289792 1005PASS foo(2147483647) is 140737488289792 1006PASS foo(2147483647) is 140737488289792 1007PASS foo(2147483647) is 140737488289792 1008PASS foo(2147483647) is 140737488289792 1009PASS foo(2147483647) is 140737488289792 1010PASS foo(2147483647) is 140737488289792 1011PASS foo(2147483647) is 140737488289792 1012PASS foo(2147483647) is 140737488289792 1013PASS foo(2147483647) is 140737488289792 1014PASS foo(2147483647) is 140737488289792 1015PASS foo(2147483647) is 140737488289792 1016PASS foo(2147483647) is 140737488289792 1017PASS foo(2147483647) is 140737488289792 1018PASS foo(2147483647) is 140737488289792 1019PASS foo(2147483647) is 140737488289792 1020PASS foo(2147483647) is 140737488289792 1021PASS foo(2147483647) is 140737488289792 1022PASS foo(2147483647) is 140737488289792 1023PASS foo(2147483647) is 140737488289792 1024PASS foo(2147483647) is 140737488289792 1025PASS foo(2147483647) is 140737488289792 1026PASS foo(2147483647) is 140737488289792 1027PASS foo(2147483647) is 140737488289792 1028PASS foo(2147483647) is 140737488289792 1029PASS successfullyParsed is true 1030 1031TEST COMPLETE 1032 1033