int x;

void f() { x = 521; }