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 @0,1,2,3⦊is_true = std::env::args().len() == 1; let mut countdown = 0⦉@0,1,2,3; if @0,1,2,3⦊is_true⦉@0,1,2,3 @4,6⦊{ countdown = 10 ; }⦉@4,6@5⦊‸⦉@5 loop { if @8,9⦊countdown == 0⦉@8,9 { @10,12⦊break⦉@10,12 ; } @13⦊countdown -= 1⦉@13 ; }@7⦊‸⦉@7 }@10,12⦊‸⦉@10,12