local analysis of g
   scanning: D.2029_7 = (unsigned int) i_2(D);
  scanning: csui.0_8 = D.2029_7 + 4294967295;
  scanning: if (csui.0_8 <= 4)
  scanning: <L8>:
  scanning: D.2012_5 = 0;
  scanning: <L9>:
  scanning: D.2012_6 = CSWTCH.1[csui.0_8];
  scanning: <L10>:
  scanning: <L7>:
  scanning: return D.2012_1;
Function is locally const.


 local analysis of f
   scanning: D.2014_7 = (long unsigned int) i_2;
  scanning: D.2015_8 = D.2014_7 * 4;
  scanning: D.2016_10 = a_9(D) + D.2015_8;
  scanning: D.2014_11 = (long unsigned int) i_2;
  scanning: D.2015_12 = D.2014_11 * 4;
  scanning: D.2017_14 = b_13(D) + D.2015_12;
  scanning: D.2018_15 = *D.2017_14;
    Indirect ref read is not const
  scanning: D.2019_17 = D.2018_15 + c_16(D);
  scanning: *D.2016_10 = D.2019_17;
    Indirect ref write is not const/pure
  scanning: count_18 = count_1 + 1;
  scanning: i_19 = i_2 + 1;
  scanning: if (i_2 <= end_6(D))
  scanning: D.2020_21 = sp_20(D)->s;
    Indirect ref read is not const
  scanning: D.2021_22 = D.2020_21->vp;
    Indirect ref read is not const
  scanning: D.2022_23 = (int (*<T264>) (const char *, void *, int *)) D.2021_22;
  scanning: D.2022_23 ("Hello World!\n", exit, &M_var);
  scanning: return count_1;
callgraph:

exit/2(-1) @# availability:not_available address_taken
  called by: 
  calls: 
  References: 
  Refering this function:  fn:f/0 (addr)
g/1(1) @# (asm: g) availability:available analyzed 6 time, 14 benefit 7 size, 6 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  var:CSWTCH.1 (read)
  Refering this function: 
f/0(0) @# (asm: f) availability:available analyzed 131 time, 20 benefit 21 size, 12 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
  has 1 outgoing edges for indirect calls.


 ordered call graph: reduced for nothrow
g/1(1) @# (asm: g) availability:available analyzed 6 time, 14 benefit 7 size, 6 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  var:CSWTCH.1 (read)
  Refering this function: 
f/0(0) @# (asm: f) availability:available analyzed 131 time, 20 benefit 21 size, 12 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
  has 1 outgoing edges for indirect calls.

callgraph:

exit/2(-1) @# availability:not_available address_taken
  called by: 
  calls: 
  References: 
  Refering this function:  fn:f/0 (addr)
g/1(1) @# (asm: g) availability:available analyzed 6 time, 14 benefit 7 size, 6 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  var:CSWTCH.1 (read)
  Refering this function: 
f/0(0) @# (asm: f) availability:available analyzed 131 time, 20 benefit 21 size, 12 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
  has 1 outgoing edges for indirect calls.


 ordered call graph: reduced
g/1(1) @# (asm: g) availability:available analyzed 6 time, 14 benefit 7 size, 6 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  var:CSWTCH.1 (read)
  Refering this function: 
f/0(0) @# (asm: f) availability:available analyzed 131 time, 20 benefit 21 size, 12 benefit needed reachable body externally_visible finalized inlinable
  called by: 
  calls: 
  References:  fn:exit/2 (addr) var:M_var (addr)
  Refering this function: 
  has 1 outgoing edges for indirect calls.