here, we have a language feature (range types in Ada) and a library feature (just write some code in rust) you'd think that because it's a language feature, you could optimize it more in Ada. but in practice, llvm is quite good at sorting this out, and you get good code anyway