↓これがコードのコピーなしに、
if分岐とloopに還元できない有名な例。

A: process A;
　 if (x) goto A; else goto B;

B: processB;
　 goto C:
C: process C;
　 goto B;