@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()
  [5] call testUnsigned 
  to:main::@1
main::@1: scope:[main]  from main
  [6] phi()
  [7] call testUnsignedVals 
  to:main::@2
main::@2: scope:[main]  from main::@1
  [8] phi()
  [9] call testSigned 
  to:main::@3
main::@3: scope:[main]  from main::@2
  [10] phi()
  [11] call testSignedVals 
  to:main::@return
main::@return: scope:[main]  from main::@3
  [12] return 
  to:@return
testSignedVals: scope:[testSignedVals]  from main::@3
  [13] (signed byte) testSignedVals::sbv1#0 ← (signed byte) -$78
  [14] *((const signed byte*) SSCREEN#0+(byte)(number) $28*(number) 3) ← (signed byte) -$78
  [15] *((const signed byte*) SSCREEN#0+++(byte)(number) $28*(number) 3) ← (const signed byte) testSignedVals::sbc1#0
  [16] *((const signed byte*) SSCREEN#0+++++(byte)(number) $28*(number) 3) ← (signed byte) testSignedVals::sbv1#0
  [17] *((const signed byte*) SSCREEN#0+++++++(byte)(number) $28*(number) 3) ← (signed byte)(number) -$46+(number) -$32
  [18] *((const signed byte*) SSCREEN#0+++++++++(byte)(number) $28*(number) 3) ← (const signed byte) testSignedVals::sbc1#0+(signed byte) -$78
  [19] *((const signed byte*) SSCREEN#0+++++++++++(byte)(number) $28*(number) 3) ← (signed byte) -$78+(const signed byte) testSignedVals::sbc1#0
  [20] (signed byte~) testSignedVals::$2 ← (signed byte) testSignedVals::sbv1#0 + (signed byte) -$78
  [21] *((const signed byte*) SSCREEN#0+++++++++++++(byte)(number) $28*(number) 3) ← (signed byte~) testSignedVals::$2
  [22] (signed byte~) testSignedVals::$3 ← (signed byte) -$78 + (signed byte) testSignedVals::sbv1#0
  [23] *((const signed byte*) SSCREEN#0+++++++++++++++(byte)(number) $28*(number) 3) ← (signed byte~) testSignedVals::$3
  [24] (signed byte~) testSignedVals::$4 ← (signed byte) testSignedVals::sbv1#0 + (const signed byte) testSignedVals::sbc1#0
  [25] *((const signed byte*) SSCREEN#0+++++++++++++++++(byte)(number) $28*(number) 3) ← (signed byte~) testSignedVals::$4
  [26] (signed byte~) testSignedVals::$5 ← (const signed byte) testSignedVals::sbc1#0 + (signed byte) testSignedVals::sbv1#0
  [27] *((const signed byte*) SSCREEN#0+++++++++++++++++++(byte)(number) $28*(number) 3) ← (signed byte~) testSignedVals::$5
  [28] (signed byte~) testSignedVals::$6 ← (signed byte) testSignedVals::sbv1#0 + (signed byte) testSignedVals::sbv1#0
  [29] *((const signed byte*) SSCREEN#0+++++++++++++++++++++(byte)(number) $28*(number) 3) ← (signed byte~) testSignedVals::$6
  to:testSignedVals::@return
testSignedVals::@return: scope:[testSignedVals]  from testSignedVals
  [30] return 
  to:@return
testSigned: scope:[testSigned]  from main::@2
  [31] (signed byte) testSigned::sbv1#0 ← (signed byte) -$78
  [32] *((const byte*) SCREEN#0+(byte)(number) $28*(number) 2) ← (byte) 0
  [33] *((const byte*) SCREEN#0+++(byte)(number) $28*(number) 2) ← (const byte) TYPEID_SIGNED_BYTE
  [34] *((const byte*) SCREEN#0+++++(byte)(number) $28*(number) 2) ← (const byte) TYPEID_SIGNED_BYTE
  [35] *((const byte*) SCREEN#0+++++++(byte)(number) $28*(number) 2) ← (byte) 0
  [36] *((const byte*) SCREEN#0+++++++++(byte)(number) $28*(number) 2) ← (const byte) TYPEID_SIGNED_BYTE
  [37] *((const byte*) SCREEN#0+++++++++++(byte)(number) $28*(number) 2) ← (const byte) TYPEID_SIGNED_BYTE
  [38] *((const byte*) SCREEN#0+++++++++++++(byte)(number) $28*(number) 2) ← (const byte) TYPEID_SIGNED_BYTE
  [39] *((const byte*) SCREEN#0+++++++++++++++(byte)(number) $28*(number) 2) ← (const byte) TYPEID_SIGNED_BYTE
  [40] *((const byte*) SCREEN#0+++++++++++++++++(byte)(number) $28*(number) 2) ← (const byte) TYPEID_SIGNED_BYTE
  [41] *((const byte*) SCREEN#0+++++++++++++++++++(byte)(number) $28*(number) 2) ← (const byte) TYPEID_SIGNED_BYTE
  [42] *((const byte*) SCREEN#0+++++++++++++++++++++(byte)(number) $28*(number) 2) ← (const byte) TYPEID_SIGNED_BYTE
  to:testSigned::@return
testSigned::@return: scope:[testSigned]  from testSigned
  [43] return 
  to:@return
testUnsignedVals: scope:[testUnsignedVals]  from main::@1
  [44] (byte) testUnsignedVals::ubv1#0 ← (byte) $fa
  [45] *((const byte*) SCREEN#0+(byte) $28) ← (byte) $fa
  [46] *((const byte*) SCREEN#0+(byte) $29) ← (const byte) testUnsignedVals::ubc1#0
  [47] *((const byte*) SCREEN#0+(byte) $2a) ← (byte) testUnsignedVals::ubv1#0
  [48] *((const byte*) SCREEN#0+(byte) $2b) ← (byte)(number) $78+(number) $82
  [49] *((const byte*) SCREEN#0+(byte) $2c) ← (const byte) testUnsignedVals::ubc1#0+(byte) $fa
  [50] *((const byte*) SCREEN#0+(byte) $2d) ← (byte) $fa+(const byte) testUnsignedVals::ubc1#0
  [51] (byte~) testUnsignedVals::$2 ← (byte) testUnsignedVals::ubv1#0 + (byte) $fa
  [52] *((const byte*) SCREEN#0+(byte) $2e) ← (byte~) testUnsignedVals::$2
  [53] (byte~) testUnsignedVals::$3 ← (byte) $fa + (byte) testUnsignedVals::ubv1#0
  [54] *((const byte*) SCREEN#0+(byte) $2f) ← (byte~) testUnsignedVals::$3
  [55] (byte~) testUnsignedVals::$4 ← (byte) testUnsignedVals::ubv1#0 + (const byte) testUnsignedVals::ubc1#0
  [56] *((const byte*) SCREEN#0+(byte) $30) ← (byte~) testUnsignedVals::$4
  [57] (byte~) testUnsignedVals::$5 ← (const byte) testUnsignedVals::ubc1#0 + (byte) testUnsignedVals::ubv1#0
  [58] *((const byte*) SCREEN#0+(byte) $31) ← (byte~) testUnsignedVals::$5
  [59] (byte~) testUnsignedVals::$6 ← (byte) testUnsignedVals::ubv1#0 + (byte) testUnsignedVals::ubv1#0
  [60] *((const byte*) SCREEN#0+(byte) $32) ← (byte~) testUnsignedVals::$6
  to:testUnsignedVals::@return
testUnsignedVals::@return: scope:[testUnsignedVals]  from testUnsignedVals
  [61] return 
  to:@return
testUnsigned: scope:[testUnsigned]  from main
  [62] (byte) testUnsigned::ubv1#0 ← (byte) $fa
  [63] *((const byte*) SCREEN#0) ← (byte) 0
  [64] *((const byte*) SCREEN#0+(byte) 1) ← (const byte) TYPEID_BYTE
  [65] *((const byte*) SCREEN#0+(byte) 2) ← (const byte) TYPEID_BYTE
  [66] *((const byte*) SCREEN#0+(byte) 3) ← (byte) 0
  [67] *((const byte*) SCREEN#0+(byte) 4) ← (const byte) TYPEID_BYTE
  [68] *((const byte*) SCREEN#0+(byte) 5) ← (const byte) TYPEID_BYTE
  [69] *((const byte*) SCREEN#0+(byte) 6) ← (const byte) TYPEID_BYTE
  [70] *((const byte*) SCREEN#0+(byte) 7) ← (const byte) TYPEID_BYTE
  [71] *((const byte*) SCREEN#0+(byte) 8) ← (const byte) TYPEID_BYTE
  [72] *((const byte*) SCREEN#0+(byte) 9) ← (const byte) TYPEID_BYTE
  [73] *((const byte*) SCREEN#0+(byte) $a) ← (const byte) TYPEID_BYTE
  to:testUnsigned::@return
testUnsigned::@return: scope:[testUnsigned]  from testUnsigned
  [74] return 
  to:@return
