;; Function f (f)

f (int start, int end, int * a, int * b, int c, struct s * sp)
{
  int i;
  int count;
  int (*<T264>) (const char *, void *, int *) D.2022;
  void * D.2021;
  struct s * D.2020;
  int D.2019;
  int D.2018;
  int * D.2017;
  int * D.2016;
  long unsigned int D.2015;
  long unsigned int D.2014;

<bb 2>:
  i_5 = start_4(D);
  goto <bb 4>;

<bb 3>:
  D.2014_7 = (long unsigned int) i_2;
  D.2015_8 = D.2014_7 * 4;
  D.2016_10 = a_9(D) + D.2015_8;
  D.2014_11 = (long unsigned int) i_2;
  D.2015_12 = D.2014_11 * 4;
  D.2017_14 = b_13(D) + D.2015_12;
  D.2018_15 = *D.2017_14;
  D.2019_17 = D.2018_15 + c_16(D);
  *D.2016_10 = D.2019_17;
  count_18 = count_1 + 1;
  i_19 = i_2 + 1;

<bb 4>:
  # count_1 = PHI <0(2), count_18(3)>
  # i_2 = PHI <start_4(D)(2), i_19(3)>
  if (i_2 <= end_6(D))
    goto <bb 3>;
  else
    goto <bb 5>;

<bb 5>:
  D.2020_21 = sp_20(D)->s;
  D.2021_22 = D.2020_21->vp;
  D.2022_23 = (int (*<T264>) (const char *, void *, int *)) D.2021_22;
  D.2022_23 ("Hello World!\n", exit, &M_var);
  return count_1;

}



;; Function g (g)

g (int i)
{
  int D.2012;

<bb 2>:
  switch (i_2(D)) <default: <L5>, case 1: <L7>, case 2: <L1>, case 3: <L2>, case 4: <L3>, case 5: <L4>>

<L1>:
  goto <bb 8> (<L7>);

<L2>:
  goto <bb 8> (<L7>);

<L3>:
  goto <bb 8> (<L7>);

<L4>:
  goto <bb 8> (<L7>);

<L5>:

  # D.2012_1 = PHI <42(2), 60(3), 7(4), 3(5), 1048576(6), 0(7)>
<L7>:
  return D.2012_1;

}