
void main()
main: scope:[main]  from
  [0] phi()
  [1] call strlen
  [2] strlen::return#2 = strlen::len#2
  to:main::@1
main::@1: scope:[main]  from main
  [3] main::$0 = strlen::return#2
  [4] *SCREEN = (char)main::$0
  to:main::@return
main::@return: scope:[main]  from main::@1
  [5] return 
  to:@return

unsigned int strlen(char *str)
strlen: scope:[strlen]  from main
  [6] phi()
  to:strlen::@1
strlen::@1: scope:[strlen]  from strlen strlen::@2
  [7] strlen::len#2 = phi( strlen/0, strlen::@2/strlen::len#1 )
  [7] strlen::str#2 = phi( strlen/STR, strlen::@2/strlen::str#0 )
  [8] if(0!=*strlen::str#2) goto strlen::@2
  to:strlen::@return
strlen::@return: scope:[strlen]  from strlen::@1
  [9] return 
  to:@return
strlen::@2: scope:[strlen]  from strlen::@1
  [10] strlen::len#1 = ++ strlen::len#2
  [11] strlen::str#0 = ++ strlen::str#2
  to:strlen::@1
