
void main()
main: scope:[main]  from
  [0] phi()
  [1] call strip
  to:main::@1
main::@1: scope:[main]  from main
  [2] phi()
  [3] call print
  to:main::@2
main::@2: scope:[main]  from main::@1
  [4] phi()
  [5] call strip
  to:main::@3
main::@3: scope:[main]  from main::@2
  [6] phi()
  [7] call print
  to:main::@return
main::@return: scope:[main]  from main::@3
  [8] return 
  to:@return

void strip(char *p , char c)
strip: scope:[strip]  from main main::@2
  [9] strip::c#3 = phi( main/' ', main::@2/'y' )
  [9] strip::dest#0 = phi( main/msg1, main::@2/msg2 )
  [10] strip::p#7 = strip::dest#0
  to:strip::@1
strip::@1: scope:[strip]  from strip strip::@4
  [11] strip::dest#2 = phi( strip/strip::dest#0, strip::@4/strip::dest#4 )
  [11] strip::p#4 = phi( strip/strip::p#7, strip::@4/strip::p#8 )
  [12] if(*strip::p#4==strip::c#3) goto strip::@2
  to:strip::@3
strip::@3: scope:[strip]  from strip::@1
  [13] *strip::dest#2 = *strip::p#4
  [14] strip::dest#1 = ++ strip::dest#2
  to:strip::@2
strip::@2: scope:[strip]  from strip::@1 strip::@3
  [15] strip::dest#4 = phi( strip::@1/strip::dest#2, strip::@3/strip::dest#1 )
  [16] strip::p#2 = ++ strip::p#4
  [17] if(*strip::p#4!=0) goto strip::@4
  to:strip::@return
strip::@return: scope:[strip]  from strip::@2
  [18] return 
  to:@return
strip::@4: scope:[strip]  from strip::@2
  [19] strip::p#8 = strip::p#2
  to:strip::@1

void print(char *msg)
print: scope:[print]  from main::@1 main::@3
  [20] screen#17 = phi( main::@1/(char *) 1024, main::@3/screen#12 )
  [20] print::msg#4 = phi( main::@1/msg1, main::@3/msg2 )
  to:print::@1
print::@1: scope:[print]  from print print::@1
  [21] screen#11 = phi( print/screen#17, print::@1/screen#12 )
  [21] print::msg#3 = phi( print/print::msg#4, print::@1/print::msg#2 )
  [22] *screen#11 = *print::msg#3
  [23] screen#12 = ++ screen#11
  [24] print::msg#2 = ++ print::msg#3
  [25] if(*print::msg#2!=0) goto print::@1
  to:print::@return
print::@return: scope:[print]  from print::@1
  [26] return 
  to:@return
