Rust-Programming-Cookbook/Chapter08/c-to-rust/target/debug/libdouble_input.a