
void main()
main: scope:[main]  from
  [0] *SCREEN = '0'
  [1] call d 
  to:main::@1
main::@1: scope:[main]  from main
  [2] phi()
  [3] call b 
  to:main::@return
main::@return: scope:[main]  from main::@1
  [4] return 
  to:@return

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

void b()
b: scope:[b]  from main::@1
  [7] phi()
  to:b::@1
b::@1: scope:[b]  from b b::@2
  [8] b::i#2 = phi( b/0, b::@2/b::i#1 )
  [9] call d 
  to:b::@2
b::@2: scope:[b]  from b::@1
  [10] b::i#1 = ++ b::i#2
  [11] if(b::i#1!=4) goto b::@1
  to:b::@return
b::@return: scope:[b]  from b::@2
  [12] return 
  to:@return
