#include <assert.h>

int main() {
    assert(2147483647 + 1 == 2147483648);
}