//#Safe
int i;
int main() {
  &i;
  //@ assert i == 0;
}