CHECK: sum is 499500