// Test: cost_model = "cycles" with simple arithmetic stays under budget
use redline::redline;

#[redline(latency = "< 100cycles", cost_model = "cycles")]
fn add_numbers(a: u64, b: u64) -> u64 {
    a + b
}

fn main() {}
