Thanks! I know Rust, Java etc do a good job of array bound check elimination, but I prefer a way to _ensure_ there is no check. I felt this was missing.