// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT

fn main() {
    println!("cargo:rustc-env=SET_IN_BUILD_RS=Y");
}