@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