@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⦊{
        countdown = 10;
    }⦉@4@5⦊‸⦉@5
    @6,7⦊use_this_lib_crate();
}⦉@6,7