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.
Clearing variable flags:

Function name:g/1:
  locals read: 
  locals written: 
Function name:f/0:
  locals read: 
  locals written: 

 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.


Function name:f/0:
  locals read: 
  locals written: 
  globals read: ALL
  globals written: ALL
Function name:g/1:
  locals read: 
  locals written: 
  globals read: 
  globals written: