extern void abort(void);
void foo(int *p) {
    int x;
    int y;
    x = *p;
    *p = 0;
    y = *p;
    if (x != y)
        return;
    abort();
}

int main() {
    int a = 1;
    foo(&a);
    return 0;
}
