
void main()
main: scope:[main]  from
  [0] main::substate = HOSTS
  [1] if(*main::ss==DEVICES) goto main::@1
  to:main::@2
main::@1: scope:[main]  from main
  [2] phi()
  to:main::@2
main::@2: scope:[main]  from main main::@1
  [3] main::x#0 = phi( main::@1/$d, main/2 )
  [4] *OUT = main::x#0
  to:main::@return
main::@return: scope:[main]  from main::@2
  [5] return 
  to:@return
