
void main()
main: scope:[main]  from
  [0] phi()
  [1] call strncat
  to:main::@3
main::@3: scope:[main]  from main
  [2] phi()
  [3] call strncat
  to:main::@4
main::@4: scope:[main]  from main::@3
  [4] phi()
  [5] call strncat
  to:main::@1
main::@1: scope:[main]  from main::@2 main::@4
  [6] main::i#2 = phi( main::@2/main::i#1, main::@4/0 )
  [7] if(0!=build[main::i#2]) goto main::@2
  to:main::@return
main::@return: scope:[main]  from main::@1
  [8] return 
  to:@return
main::@2: scope:[main]  from main::@1
  [9] SCREEN[main::i#2] = build[main::i#2]
  [10] main::i#1 = ++ main::i#2
  to:main::@1

char * strncat(char *destination , const char *source , unsigned int num)
strncat: scope:[strncat]  from main main::@3 main::@4
  [11] strncat::source#7 = phi( main/hello, main::@3/space, main::@4/world )
  to:strncat::@1
strncat::@1: scope:[strncat]  from strncat strncat::@2
  [12] strncat::dst#3 = phi( strncat/build, strncat::@2/strncat::dst#1 )
  [13] if(0!=*strncat::dst#3) goto strncat::@2
  to:strncat::@3
strncat::@3: scope:[strncat]  from strncat::@1 strncat::@4
  [14] strncat::num#4 = phi( strncat::@1/5, strncat::@4/strncat::num#3 )
  [14] strncat::dst#5 = phi( strncat::@1/strncat::dst#3, strncat::@4/strncat::dst#2 )
  [14] strncat::source#4 = phi( strncat::@1/strncat::source#7, strncat::@4/strncat::source#3 )
  [15] *strncat::dst#5 = *strncat::source#4
  [16] strncat::source#3 = ++ strncat::source#4
  [17] if(0==strncat::num#4) goto strncat::@5
  to:strncat::@6
strncat::@6: scope:[strncat]  from strncat::@3
  [18] if(0!=*strncat::dst#5) goto strncat::@4
  to:strncat::@5
strncat::@5: scope:[strncat]  from strncat::@3 strncat::@6
  [19] *strncat::dst#5 = 0
  to:strncat::@return
strncat::@return: scope:[strncat]  from strncat::@5
  [20] return 
  to:@return
strncat::@4: scope:[strncat]  from strncat::@6
  [21] strncat::num#3 = -- strncat::num#4
  [22] strncat::dst#2 = ++ strncat::dst#5
  to:strncat::@3
strncat::@2: scope:[strncat]  from strncat::@1
  [23] strncat::dst#1 = ++ strncat::dst#3
  to:strncat::@1
