// Copyright The OpenTelemetry Authors
// SPDX-License-Identifier: Apache-2.0

void do_something_in_a();