// Copyright The OpenTelemetry Authors
// SPDX-License-Identifier: Apache-2.0
void do_something_in_a();