@0⦊fn might_overflow(to_add: u32) -> u32 {
    if to_add > 5⦉@0 @1,3,4⦊{
        println!("this will probably overflow");
    }⦉@1,3,4@2⦊‸⦉@2
    let @5,6,7,8,9,10,11,12,13⦊add_to = u32::MAX - 5;
    println!("does {} + {} overflow?", add_to, to_add);
    let result = to_add + add_to;
    println!("continuing after overflow check");
    result
}⦉@5,6,7,8,9,10,11,12,13