Turing Compete: recursion or iteration

• Extend linear proof?

  Not effected by repeated execution of same random instructions, if $\vert\mbox{loop}\vert \ll l$?

• Required to halt at l
• But if $l>\mbox{threshold}$ PDF independent of l, so result holds if terminates sometime.
• Threshold too big to be useful?