int main() {
  int x;
  (void)x;
  return 0;
}