
void __start()
__start: scope:[__start]  from
  [0] phi()
  to:__start::__init1
__start::__init1: scope:[__start]  from __start
  [1] phi()
  [2] call init 
  to:__start::@1
__start::@1: scope:[__start]  from __start::__init1
  [3] phi()
  [4] call main 
  to:__start::@return
__start::@return: scope:[__start]  from __start::@1
  [5] return 
  to:@return

void init()
init: scope:[init]  from __start::__init1
  [6] *SCREEN = 'a'
  to:init::@return
init::@return: scope:[init]  from init
  [7] return 
  to:@return

void main()
main: scope:[main]  from __start::@1
  [8] *(SCREEN+1) = 'b'
  to:main::@return
main::@return: scope:[main]  from main
  [9] return 
  to:@return
