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