@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