@0,1,2,3⦊pub fn used_function() ⦉@0,1,2,3{
// Initialize test constants in a way that cannot be determined at compile time, to ensure
// rustc and LLVM cannot optimize out statements (or coverage counters) downstream from
// dependent conditions.
let @0,1,2,3⦊is_true = std::env::args().len() == 1;
let mut countdown = 0;
if is_true⦉@0,1,2,3 @4,6⦊{
countdown = 10;
}⦉@4,6@5⦊‸⦉@5
@7,8⦊use_this_lib_crate();
}⦉@7,8