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