
void main()
main: scope:[main]  from
  [0] phi()
  to:main::@1
main::@1: scope:[main]  from main main::@5
  [1] main::line#2 = phi( main/(char *) 1024, main::@5/main::line#1 )
  [2] if(main::line#2>=$400+$28*$19) goto main::@return
  to:main::@2
main::@2: scope:[main]  from main::@1
  [3] if(*main::line#2!='a') goto main::@3
  to:main::@return
main::@return: scope:[main]  from main::@1 main::@2
  [4] return 
  to:@return
main::@3: scope:[main]  from main::@2 main::@4
  [5] main::i#2 = phi( main::@2/0, main::@4/main::i#1 )
  [6] if(main::line#2[main::i#2]=='a') goto main::@5
  to:main::@4
main::@4: scope:[main]  from main::@3
  [7] main::line#2[main::i#2] = 'a'
  [8] main::i#1 = ++ main::i#2
  [9] if(main::i#1!=$28) goto main::@3
  to:main::@5
main::@5: scope:[main]  from main::@3 main::@4
  [10] main::line#1 = main::line#2 + $28
  to:main::@1
