@0,1,2,3⦊fn main() {
    // 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 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⦊‸⦉@6