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