// Andrew Taylor - andrewt@unsw.edu.au
// 6/3/2017

// Overflow a 32-bit int
// compile with gcc or clang to see overflow

#include <stdio.h>

int main(void) {
    int a, b;
    a = 2000000000;
    b = a + a;
    printf("%d", b);
    return 0;
}