;; 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>:
  count_3 = 0;
  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 <count_3(2), count_18(3)>
  # i_2 = PHI <i_5(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);
  count_24 = count_1;
  return count_24;

}



;; Function g (g)

g (int i)
{
  int D.2012;

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

<L0>:
  D.2012_3 = 42;
  goto <bb 9>;

<L1>:
  D.2012_4 = 60;
  goto <bb 9>;

<L2>:
  D.2012_5 = 7;
  goto <bb 9>;

<L3>:
  D.2012_6 = 3;
  goto <bb 9>;

<L4>:
  D.2012_7 = 1048576;
  goto <bb 9>;

<L5>:
  D.2012_8 = 0;

<bb 9>:
  # D.2012_1 = PHI <D.2012_3(3), D.2012_4(4), D.2012_5(5), D.2012_6(6), D.2012_7(7), D.2012_8(8)>
  return D.2012_1;

}