@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
    else // Note coverage region difference without semicolon
    {
        @5⦊countdown
        =
            100⦉@5
    }
    if
        @6⦊is_true⦉@6
    @7⦊{
        countdown
        =
            10
        ;
    }⦉@7
    else
    @8⦊{
        countdown
        =
            100
        ;
    }⦉@8
}@9⦊‸⦉@9