extern int counter;
int beta2(int b);

main() {
  int cnt;
  counter = cnt;

  int x;
  beta2(x);
}