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 }@7⦊⦉@7