Bounds check counter example 01.