
void __start()
__start: scope:[__start]  from
  [0] phi()
  to:__start::__init1
__start::__init1: scope:[__start]  from __start
  [1] screen = (char *) 1024
  to:__start::@1
__start::@1: scope:[__start]  from __start::__init1
  [2] phi()
  [3] call main
  to:__start::@return
__start::@return: scope:[__start]  from __start::@1
  [4] return 
  to:@return

void main()
main: scope:[main]  from __start::@1
  [5] phi()
  [6] call setscreen
  to:main::@1
main::@1: scope:[main]  from main
  [7] *screen = 'a'
  [8] call setscreen
  to:main::@2
main::@2: scope:[main]  from main::@1
  [9] *screen = 'a'
  to:main::@return
main::@return: scope:[main]  from main::@2
  [10] return 
  to:@return

void setscreen(char **screen , char *val)
setscreen: scope:[setscreen]  from main main::@1
  [11] setscreen::val#2 = phi( main/screen1, main::@1/screen2 )
  [12] *(&screen) = setscreen::val#2
  to:setscreen::@return
setscreen::@return: scope:[setscreen]  from setscreen
  [13] return 
  to:@return
