@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 assertType 
  to:main::@1
main::@1: scope:[main]  from main
  [6] phi()
  [7] call assertType 
  to:main::@2
main::@2: scope:[main]  from main::@1
  [8] phi()
  [9] call assertType 
  to:main::@3
main::@3: scope:[main]  from main::@2
  [10] phi()
  [11] call assertType 
  to:main::@4
main::@4: scope:[main]  from main::@3
  [12] phi()
  [13] call assertType 
  to:main::@5
main::@5: scope:[main]  from main::@4
  [14] phi()
  [15] call assertType 
  to:main::@6
main::@6: scope:[main]  from main::@5
  [16] phi()
  [17] call assertType 
  to:main::@7
main::@7: scope:[main]  from main::@6
  [18] phi()
  [19] call assertType 
  to:main::@8
main::@8: scope:[main]  from main::@7
  [20] phi()
  [21] call assertType 
  to:main::@9
main::@9: scope:[main]  from main::@8
  [22] phi()
  [23] call assertType 
  to:main::@10
main::@10: scope:[main]  from main::@9
  [24] phi()
  [25] call assertType 
  to:main::@11
main::@11: scope:[main]  from main::@10
  [26] phi()
  [27] call assertType 
  to:main::@12
main::@12: scope:[main]  from main::@11
  [28] phi()
  [29] call assertType 
  to:main::@13
main::@13: scope:[main]  from main::@12
  [30] phi()
  [31] call assertType 
  to:main::@14
main::@14: scope:[main]  from main::@13
  [32] phi()
  [33] call assertType 
  to:main::@15
main::@15: scope:[main]  from main::@14
  [34] phi()
  [35] call assertType 
  to:main::@16
main::@16: scope:[main]  from main::@15
  [36] phi()
  [37] call assertType 
  to:main::@17
main::@17: scope:[main]  from main::@16
  [38] phi()
  [39] call assertType 
  to:main::@18
main::@18: scope:[main]  from main::@17
  [40] phi()
  [41] call assertType 
  to:main::@19
main::@19: scope:[main]  from main::@18
  [42] phi()
  [43] call assertType 
  to:main::@20
main::@20: scope:[main]  from main::@19
  [44] phi()
  [45] call assertType 
  to:main::@21
main::@21: scope:[main]  from main::@20
  [46] phi()
  [47] call assertType 
  to:main::@22
main::@22: scope:[main]  from main::@21
  [48] phi()
  [49] call assertType 
  to:main::@23
main::@23: scope:[main]  from main::@22
  [50] phi()
  [51] call assertType 
  to:main::@24
main::@24: scope:[main]  from main::@23
  [52] phi()
  [53] call assertType 
  to:main::@25
main::@25: scope:[main]  from main::@24
  [54] phi()
  [55] call assertType 
  to:main::@26
main::@26: scope:[main]  from main::@25
  [56] phi()
  [57] call assertType 
  to:main::@27
main::@27: scope:[main]  from main::@26
  [58] phi()
  [59] call assertType 
  to:main::@28
main::@28: scope:[main]  from main::@27
  [60] phi()
  [61] call assertType 
  to:main::@29
main::@29: scope:[main]  from main::@28
  [62] phi()
  [63] call assertType 
  to:main::@30
main::@30: scope:[main]  from main::@29
  [64] phi()
  [65] call assertType 
  to:main::@31
main::@31: scope:[main]  from main::@30
  [66] phi()
  [67] call assertType 
  to:main::@32
main::@32: scope:[main]  from main::@31
  [68] phi()
  [69] call assertType 
  to:main::@33
main::@33: scope:[main]  from main::@32
  [70] phi()
  [71] call assertType 
  to:main::@34
main::@34: scope:[main]  from main::@33
  [72] phi()
  [73] call assertType 
  to:main::@return
main::@return: scope:[main]  from main::@34
  [74] return 
  to:@return
assertType: scope:[assertType]  from main main::@1 main::@10 main::@11 main::@12 main::@13 main::@14 main::@15 main::@16 main::@17 main::@18 main::@19 main::@2 main::@20 main::@21 main::@22 main::@23 main::@24 main::@25 main::@26 main::@27 main::@28 main::@29 main::@3 main::@30 main::@31 main::@32 main::@33 main::@34 main::@4 main::@5 main::@6 main::@7 main::@8 main::@9
  [75] (byte) idx#79 ← phi( main/(byte) 0 main::@1/(byte) idx#40 main::@10/(byte) idx#40 main::@11/(byte) idx#40 main::@12/(byte) idx#40 main::@13/(byte) idx#40 main::@14/(byte) idx#40 main::@15/(byte) idx#40 main::@16/(byte) idx#40 main::@17/(byte) idx#40 main::@18/(byte) idx#40 main::@19/(byte) idx#40 main::@2/(byte) idx#40 main::@20/(byte) idx#40 main::@21/(byte) $50 main::@22/(byte) idx#40 main::@23/(byte) idx#40 main::@24/(byte) idx#40 main::@25/(byte) idx#40 main::@26/(byte) idx#40 main::@27/(byte) idx#40 main::@28/(byte) idx#40 main::@29/(byte) idx#40 main::@3/(byte) idx#40 main::@30/(byte) idx#40 main::@31/(byte) idx#40 main::@32/(byte) idx#40 main::@33/(byte) idx#40 main::@34/(byte) idx#40 main::@4/(byte) idx#40 main::@5/(byte) idx#40 main::@6/(byte) idx#40 main::@7/(byte) idx#40 main::@8/(byte) idx#40 main::@9/(byte) $28 )
  [75] (byte) assertType::t2#35 ← phi( main/(const byte) TYPEID_SIGNED_BYTE main::@1/(const byte) TYPEID_SIGNED_WORD main::@10/(const byte) TYPEID_BYTE main::@11/(const byte) TYPEID_WORD main::@12/(const byte) TYPEID_WORD main::@13/(const byte) TYPEID_DWORD main::@14/(const byte) TYPEID_WORD main::@15/(const byte) TYPEID_WORD main::@16/(const byte) TYPEID_DWORD main::@17/(const byte) TYPEID_DWORD main::@18/(const byte) TYPEID_DWORD main::@19/(const byte) TYPEID_DWORD main::@2/(const byte) TYPEID_SIGNED_DWORD main::@20/(const byte) TYPEID_DWORD main::@21/(const byte) TYPEID_BYTE main::@22/(const byte) TYPEID_BYTE main::@23/(const byte) TYPEID_BYTE main::@24/(const byte) TYPEID_WORD main::@25/(const byte) TYPEID_WORD main::@26/(const byte) TYPEID_DWORD main::@27/(const byte) TYPEID_WORD main::@28/(const byte) TYPEID_WORD main::@29/(const byte) TYPEID_WORD main::@3/(const byte) TYPEID_SIGNED_WORD main::@30/(const byte) TYPEID_DWORD main::@31/(const byte) TYPEID_DWORD main::@32/(const byte) TYPEID_DWORD main::@33/(const byte) TYPEID_DWORD main::@34/(const byte) TYPEID_DWORD main::@4/(const byte) TYPEID_SIGNED_WORD main::@5/(const byte) TYPEID_SIGNED_DWORD main::@6/(const byte) TYPEID_SIGNED_DWORD main::@7/(const byte) TYPEID_SIGNED_DWORD main::@8/(const byte) TYPEID_SIGNED_DWORD main::@9/(const byte) TYPEID_BYTE )
  [75] (byte) assertType::t1#35 ← phi( main/(const byte) TYPEID_SIGNED_BYTE main::@1/(const byte) TYPEID_SIGNED_WORD main::@10/(const byte) TYPEID_BYTE main::@11/(const byte) TYPEID_WORD main::@12/(const byte) TYPEID_WORD main::@13/(const byte) TYPEID_DWORD main::@14/(const byte) TYPEID_WORD main::@15/(const byte) TYPEID_WORD main::@16/(const byte) TYPEID_DWORD main::@17/(const byte) TYPEID_DWORD main::@18/(const byte) TYPEID_DWORD main::@19/(const byte) TYPEID_DWORD main::@2/(const byte) TYPEID_SIGNED_DWORD main::@20/(const byte) TYPEID_DWORD main::@21/(const byte) TYPEID_BYTE main::@22/(const byte) TYPEID_BYTE main::@23/(const byte) TYPEID_BYTE main::@24/(const byte) TYPEID_WORD main::@25/(const byte) TYPEID_WORD main::@26/(const byte) TYPEID_DWORD main::@27/(const byte) TYPEID_WORD main::@28/(const byte) TYPEID_WORD main::@29/(const byte) TYPEID_WORD main::@3/(const byte) TYPEID_SIGNED_WORD main::@30/(const byte) TYPEID_DWORD main::@31/(const byte) TYPEID_DWORD main::@32/(const byte) TYPEID_DWORD main::@33/(const byte) TYPEID_DWORD main::@34/(const byte) TYPEID_SIGNED_DWORD main::@4/(const byte) TYPEID_SIGNED_WORD main::@5/(const byte) TYPEID_SIGNED_DWORD main::@6/(const byte) TYPEID_SIGNED_DWORD main::@7/(const byte) TYPEID_SIGNED_DWORD main::@8/(const byte) TYPEID_SIGNED_DWORD main::@9/(const byte) TYPEID_BYTE )
  [76] if((byte) assertType::t1#35==(byte) assertType::t2#35) goto assertType::@1
  to:assertType::@3
assertType::@3: scope:[assertType]  from assertType
  [77] *((const byte*) COLS#0 + (byte) idx#79) ← (const byte) RED#0
  to:assertType::@2
assertType::@2: scope:[assertType]  from assertType::@1 assertType::@3
  [78] *((const byte*) SCREEN#0 + (byte) idx#79) ← (byte) assertType::t1#35
  [79] (byte) idx#40 ← ++ (byte) idx#79
  to:assertType::@return
assertType::@return: scope:[assertType]  from assertType::@2
  [80] return 
  to:@return
assertType::@1: scope:[assertType]  from assertType
  [81] *((const byte*) COLS#0 + (byte) idx#79) ← (const byte) GREEN#0
  to:assertType::@2
