@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
    loop
    {
        if
            @7,8⦊countdown
                ==
            0⦉@7,8
        {
            @9⦊break⦉@9
            ;
        }@10,11⦊
        countdown
        -=
        1⦉@10,11
        ;
    }
}@9⦊‸⦉@9