@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 = 1;
    if is_true⦉@0,1,2,3 @4⦊{
        countdown = 0;
    }⦉@4@5⦊‸⦉@5
    for
        @12,14,16⦊_⦉@12,14,16
    in
        @8,9,10⦊0..2⦉@8,9,10
    {
        let z
        ;
        match
            @12,14,16⦊countdown⦉@12,14,16
        {
            @17⦊x⦉@17
            if
                @12,14,16⦊x
                    <
                1⦉@12,14,16
            =>
            @17⦊{
                z = countdown
                ;
                let y = countdown
                ;
                countdown = 10
                ;
            }⦉@17
            _
            =>
            @15⦊{}⦉@15
        }
    }
}@11⦊‸⦉@11