CHECK: sum is 130