@begin: scope:[] from [0] phi() to:@1 @1: scope:[] from @begin [1] phi() [2] call main to:@end @end: scope:[] from @1 [3] phi() main: scope:[main] from @1 [4] phi() to:main::@1 main::@1: scope:[main] from main main::@2 main::@3 [5] (byte) key#1 ← *((const byte*) DC00#0) [6] (byte~) main::$1 ← (byte) key#1 & (byte) $1f [7] if((byte) key#1!=(byte) 0) goto main::@2 to:main::@3 main::@3: scope:[main] from main::@1 [8] if((byte~) main::$1==(byte) $1f) goto main::@1 to:main::@2 main::@2: scope:[main] from main::@1 main::@3 [9] phi() to:main::@1