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