int x = 0xdeadbeef;

int getx() {
    return x;
}