The ``0`` in ``[0:25]`` is implicit