os-rust/tests/coverage/tight_inf_loop.rs