michael@0: x = 2147483647;
michael@0: (x+10, false) ? [x % x] : [2 * x];