As other top-level comment indicates, this is debatable: https://github.com/xorvoid/meson-brainfuck/issues/1
>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.