Marking local functions: Marking externally visible functions: g f Marking externally visible variables: M_var Reclaiming functions: Reclaiming variables: Clearing address taken flags: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 needed reachable body externally_visible finalized called by: calls: References: Refering this function: f/0(0) @# (asm: f) availability:available analyzed needed reachable body externally_visible finalized called by: calls: References: fn:exit/2 (addr) var:M_var (addr) Refering this function: has 1 outgoing edges for indirect calls.