[jrvidal]

As other top-level comment indicates, this is debatable: https://github.com/xorvoid/meson-brainfuck/issues/1

[akoboldfrying]

Good catch.

>an upper bound on the total number of steps is tot = x + y*z

I think this should be x + z**y, since the y loops could be nested, but the basic argument that there is a finite upper bound is sound.