
void main()
main: scope:[main]  from
  [0] phi()
  [1] callexecute proc1 
  to:main::@1
main::@1: scope:[main]  from main
  [2] phi()
  [3] callexecute proc2 
  to:main::@return
main::@return: scope:[main]  from main::@1
  [4] return 
  to:@return

__stackcall void proc2()
proc2: scope:[proc2]  from main::@1
  [5] *(SCREEN+1) = 'b'
  to:proc2::@return
proc2::@return: scope:[proc2]  from proc2
  [6] return 
  to:@return

__stackcall void proc1()
proc1: scope:[proc1]  from main
  [7] *SCREEN = 'a'
  to:proc1::@return
proc1::@return: scope:[proc1]  from proc1
  [8] return 
  to:@return
