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