Pzz> В программе без циклов мутабельные переменные не нужны.

А небесконечный цикл можно развернуть (loop unrolling). И что? Над чем тут надо думать?