@begin: scope:[]  from
  [0] phi()
  to:@1
@1: scope:[]  from @begin
  [1] phi()
  [2] call main 
  to:@end
@end: scope:[]  from @1
  [3] phi()

(void()) main()
main: scope:[main]  from @1
  [4] *((byte**)(const struct fileentry*) main::file#1) ← (byte*) 4
  [5] (word) main::uSize#1 ← *((word*)*((byte**)(const struct fileentry*) main::file#1) + (byte) $1e)
  [6] (word) print_word::w#0 ← (word) main::uSize#1
  [7] call print_word 
  to:main::@return
main::@return: scope:[main]  from main
  [8] return 
  to:@return

(void()) print_word((word) print_word::w)
print_word: scope:[print_word]  from main
  [9] (byte) print_byte::b#0 ← > (word) print_word::w#0
  [10] call print_byte 
  to:print_word::@1
print_word::@1: scope:[print_word]  from print_word
  [11] (byte) print_byte::b#1 ← < (word) print_word::w#0
  [12] call print_byte 
  to:print_word::@return
print_word::@return: scope:[print_word]  from print_word::@1
  [13] return 
  to:@return

(void()) print_byte((byte) print_byte::b)
print_byte: scope:[print_byte]  from print_word print_word::@1
  [14] (byte*) print_char_cursor#24 ← phi( print_word/(byte*) 1024 print_word::@1/(byte*) print_char_cursor#19 )
  [14] (byte) print_byte::b#2 ← phi( print_word/(byte) print_byte::b#0 print_word::@1/(byte) print_byte::b#1 )
  [15] (byte~) print_byte::$0 ← (byte) print_byte::b#2 >> (byte) 4
  [16] (byte) print_char::ch#0 ← *((const byte*) print_hextab + (byte~) print_byte::$0)
  [17] call print_char 
  to:print_byte::@1
print_byte::@1: scope:[print_byte]  from print_byte
  [18] (byte~) print_byte::$2 ← (byte) print_byte::b#2 & (byte) $f
  [19] (byte) print_char::ch#1 ← *((const byte*) print_hextab + (byte~) print_byte::$2)
  [20] call print_char 
  to:print_byte::@return
print_byte::@return: scope:[print_byte]  from print_byte::@1
  [21] return 
  to:@return

(void()) print_char((byte) print_char::ch)
print_char: scope:[print_char]  from print_byte print_byte::@1
  [22] (byte*) print_char_cursor#18 ← phi( print_byte/(byte*) print_char_cursor#24 print_byte::@1/(byte*) print_char_cursor#19 )
  [22] (byte) print_char::ch#2 ← phi( print_byte/(byte) print_char::ch#0 print_byte::@1/(byte) print_char::ch#1 )
  [23] *((byte*) print_char_cursor#18) ← (byte) print_char::ch#2
  [24] (byte*) print_char_cursor#19 ← ++ (byte*) print_char_cursor#18
  to:print_char::@return
print_char::@return: scope:[print_char]  from print_char
  [25] return 
  to:@return
