@begin: scope:[]  from
  [0] phi() [ ] ( )
  to:@2
@2: scope:[]  from @begin
  [1] phi() [ ] ( )
  [2] call main param-assignment [ ] ( )
  to:@end
@end: scope:[]  from @2
  [3] phi() [ ] ( )
main: scope:[main]  from @2
  [4] phi() [ ] ( main:2 [ ] )
  [5] call line param-assignment [ screen#11 ] ( main:2 [ screen#11 ] )
  to:main::@1
main::@1: scope:[main]  from main
  [6] phi() [ screen#11 ] ( main:2 [ screen#11 ] )
  [7] call line param-assignment [ ] ( main:2 [ ] )
  to:main::@return
main::@return: scope:[main]  from main::@1
  [8] return  [ ] ( main:2 [ ] )
  to:@return
line: scope:[line]  from main main::@1
  [9] (byte) line::x1#3 ← phi( main/(byte/signed byte/word/signed word/dword/signed dword) 2 main::@1/(byte/signed byte/word/signed word/dword/signed dword) 5 ) [ line::x#0 screen#14 line::x1#3 ] ( main:2::line:5 [ line::x#0 screen#14 line::x1#3 ] main:2::line:7 [ line::x#0 screen#14 line::x1#3 ] )
  [9] (byte*) screen#14 ← phi( main/((byte*))(word/signed word/dword/signed dword) 1024 main::@1/(byte*) screen#11 ) [ line::x#0 screen#14 line::x1#3 ] ( main:2::line:5 [ line::x#0 screen#14 line::x1#3 ] main:2::line:7 [ line::x#0 screen#14 line::x1#3 ] )
  [9] (byte) line::x#0 ← phi( main/(byte/signed byte/word/signed word/dword/signed dword) 1 main::@1/(byte/signed byte/word/signed word/dword/signed dword) 3 ) [ line::x#0 screen#14 line::x1#3 ] ( main:2::line:5 [ line::x#0 screen#14 line::x1#3 ] main:2::line:7 [ line::x#0 screen#14 line::x1#3 ] )
  to:line::@1
line::@1: scope:[line]  from line line::@1
  [10] (byte*) screen#10 ← phi( line/(byte*) screen#14 line::@1/(byte*) screen#11 ) [ line::x1#3 line::x#2 screen#10 ] ( main:2::line:5 [ line::x1#3 line::x#2 screen#10 ] main:2::line:7 [ line::x1#3 line::x#2 screen#10 ] )
  [10] (byte) line::x#2 ← phi( line/(byte) line::x#0 line::@1/(byte) line::x#1 ) [ line::x1#3 line::x#2 screen#10 ] ( main:2::line:5 [ line::x1#3 line::x#2 screen#10 ] main:2::line:7 [ line::x1#3 line::x#2 screen#10 ] )
  [11] *((byte*) screen#10) ← (byte) line::x#2 [ line::x1#3 line::x#2 screen#10 ] ( main:2::line:5 [ line::x1#3 line::x#2 screen#10 ] main:2::line:7 [ line::x1#3 line::x#2 screen#10 ] )
  [12] (byte*) screen#11 ← ++ (byte*) screen#10 [ line::x1#3 screen#11 line::x#2 ] ( main:2::line:5 [ line::x1#3 screen#11 line::x#2 ] main:2::line:7 [ line::x1#3 screen#11 line::x#2 ] )
  [13] (byte) line::x#1 ← ++ (byte) line::x#2 [ line::x1#3 screen#11 line::x#1 ] ( main:2::line:5 [ line::x1#3 screen#11 line::x#1 ] main:2::line:7 [ line::x1#3 screen#11 line::x#1 ] )
  [14] if((byte) line::x#1<(byte) line::x1#3) goto line::@1 [ line::x1#3 screen#11 line::x#1 ] ( main:2::line:5 [ line::x1#3 screen#11 line::x#1 ] main:2::line:7 [ line::x1#3 screen#11 line::x#1 ] )
  to:line::@return
line::@return: scope:[line]  from line::@1
  [15] return  [ screen#11 ] ( main:2::line:5 [ screen#11 ] main:2::line:7 [ screen#11 ] )
  to:@return
