MAX` This indicates a bug in the program. This Undefined Behavior check is optional, and cannot be relied on for safety.called `Result::unwrap()` on an `Err` valuecontiguous::NFA( ():