os-rust/tests/debuginfo/issue-7712.rs