// SPDX-License-Identifier: Apache-2.0
// Copyright © 2023 Red Hat, Inc

#![allow(non_upper_case_globals)]
#![allow(non_camel_case_types)]
#![allow(non_snake_case)]

include!("header3.rs");

fn main() {
    unsafe {
        std::process::exit(add(0, sub(0, 0)));
    };
}