int main() {
  do {
  }
  while (0);
}