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

int beta1(int b);

main() {
  int x;
  beta1(x);
}