// pOnBadIndex: called in case of array index out of bounds

