There are unbound-checked versions of that call. You can make that simplifying assumption in your code if you'd like.