This patch rules out out-of-bounds array accesses without inspecting the caller. It is not a bug fix but adds clarity.