[kazinator]

That coding guideline simply rejects all recursion, even cases that are correct by inspection, or by easy proof.

[eru]

Interesting. I assume they allow the special cases of tail recursion introduced by 'while', 'for' and similar constructs?

[kazinator]

goto is banned; loops must be statically bounded.

[eru]

Thanks for the information!