/*
* Any copyright is dedicated to the Public Domain.
* http://creativecommons.org/licenses/publicdomain/
*/
var v = [0, 0x7fffffff];
v.sort();
assertEq(v[0], 0);
assertEq(v[1], 0x7fffffff);
v = [0x7fffffff, 0];
v.sort();
assertEq(v[0], 0);
assertEq(v[1], 0x7fffffff);