Added part about runtime array-index checking