;; Function g (g)

g (int i)
{
  int D.2012;

  switch (i) <default: <D.1265>, case 1: <D.1260>, case 2: <D.1261>, case 3: <D.1262>, case 4: <D.1263>, case 5: <D.1264>>
  <D.1260>:
  D.2012 = 42;
  return D.2012;
  <D.1261>:
  D.2012 = 60;
  return D.2012;
  <D.1262>:
  D.2012 = 7;
  return D.2012;
  <D.1263>:
  D.2012 = 3;
  return D.2012;
  <D.1264>:
  D.2012 = 1048576;
  return D.2012;
  <D.1265>:
  D.2012 = 0;
  return D.2012;
}



;; Function f (f)

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

  count = 0;
  i = start;
  goto <D.1255>;
  <D.1254>:
  D.2014 = (long unsigned int) i;
  D.2015 = D.2014 * 4;
  D.2016 = a + D.2015;
  D.2014 = (long unsigned int) i;
  D.2015 = D.2014 * 4;
  D.2017 = b + D.2015;
  D.2018 = *D.2017;
  D.2019 = D.2018 + c;
  *D.2016 = D.2019;
  count = count + 1;
  i = i + 1;
  <D.1255>:
  if (i <= end) goto <D.1254>; else goto <D.1256>;
  <D.1256>:
  D.2020 = sp->s;
  D.2021 = D.2020->vp;
  D.2022 = (int (*<T264>) (const char *, void *, int *)) D.2021;
  D.2022 ("Hello World!\n", exit, &M_var);
  D.2023 = count;
  return D.2023;
}