Rechecked index bounds