Команда 1 → 2 перемещает каретку вправо. Команда 2 ? 1,3 проверяет наличие метки под кареткой. Поскольку предполагается, что справа от каретки есть непрерывный массив меток, то метка будет обнаружена, и выполнится переход к команде 3. Команда 3 → 4 перемещает каретку вправо. Команда 4 ? 5, 3 проверяет наличие метки под кареткой. Опять же, предполагается, что метка обнаружена, и выполнится переход к команде 3 (цикл). Команда 3 → 4 снова перемещает каретку вправо. Команда 4 ? 5, 3 снова проверяет наличие метки. Так как предыдущая проверка также обнаружила метку, выполнится переход к команде 3 (цикл). Процесс будет бесконечно циклически выполнять команды 1-4, добавляя метку к правому концу массива при каждой итерации цикла. Таким образом, после выполнения этой программы будет добавлена одна метка к правому концу массива меток.