int main(int argc, char **argv) {
          int i;
          goto L_0001;
          void fred(int i)
{
          goto L_0001;
          void jim(int k)
{
          k = (i + 1);
          i = 9;
          return(0);
}
L_0001:
          jim(5);
          for (;;) {
L_0002:
          i = 100;
          fred(i);