// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: MIT-0

extern int counter;
int beta2(int b);

main() {
  int cnt;
  counter = cnt;

  int x;
  beta2(x);
}