@0⦊fn main() -> Result<(), u8> {
    let mut countdown = 10⦉@0;
    while @1,2⦊countdown > 0⦉@1,2 {
        if @3,5⦊countdown < 5⦉@3,5 @6,8⦊{
            might_abort(false);
        }⦉@6,8@7⦊‸⦉@7
        // See discussion (below the `Notes` section) on coverage results for the closing brace.
        if @9⦊countdown < 5⦉@9 @10,12⦊{ might_abort(false); }⦉@10,12@11⦊‸⦉@11 // Counts for different regions on one line.
        // For the following example, the closing brace is the last character on the line.
        // This shows the character after the closing brace is highlighted, even if that next
        // character is a newline.
        if @13⦊countdown < 5⦉@13 @14,16⦊{ might_abort(false); }⦉@14,16@15⦊‸⦉@15
        @17,18⦊countdown -= 1⦉@17,18;
    }
    @4⦊Ok(())
}⦉@4