[a-nikolaev]

Can you provide an example where a smart contract needs unbounded loops or unbounded recursion? Do you really need Turing completeness to begin with?