
void main()
main: scope:[main]  from
  [0] phi()
  [1] call printf_str
  to:main::@1
main::@1: scope:[main]  from main
  [2] phi()
  [3] call printf_string
  to:main::@2
main::@2: scope:[main]  from main::@1
  [4] phi()
  [5] call printf_str
  to:main::@return
main::@return: scope:[main]  from main::@2
  [6] return 
  to:@return

void printf_str(void (*putc)(char) , char *str)
printf_str: scope:[printf_str]  from main main::@2 printf_string
  [7] screen#25 = phi( main/(char *) 1024, main::@2/screen#1, printf_string/screen#1 )
  [7] printf_str::str#6 = phi( main/main::str, main::@2/main::str1, printf_string/main::name )
  to:printf_str::@1
printf_str::@1: scope:[printf_str]  from printf_str printf_str::@2
  [8] screen#1 = phi( printf_str/screen#25, printf_str::@2/screen#0 )
  [8] printf_str::str#4 = phi( printf_str/printf_str::str#6, printf_str::@2/printf_str::str#0 )
  [9] if(0!=*printf_str::str#4) goto printf_str::@2
  to:printf_str::@return
printf_str::@return: scope:[printf_str]  from printf_str::@1
  [10] return 
  to:@return
printf_str::@2: scope:[printf_str]  from printf_str::@1
  [11] *screen#1 = *printf_str::str#4
  [12] screen#0 = ++ screen#1
  [13] printf_str::str#0 = ++ printf_str::str#4
  to:printf_str::@1

void printf_string(void (*putc)(char) , char *str , char format_min_length , char format_justify_left)
printf_string: scope:[printf_string]  from main::@1
  [14] phi()
  [15] call printf_str
  to:printf_string::@return
printf_string::@return: scope:[printf_string]  from printf_string
  [16] return 
  to:@return
