@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] phi()
  to:main::@1
main::@1: scope:[main]  from main
  [5] *((const byte*) main::SCREEN) ← (byte) 0
  to:main::@2_1
main::@2_1: scope:[main]  from main::@1
  [6] *((const byte*) main::SCREEN+(byte) 1*(byte) $28) ← (byte) 0
  to:main::@2_2
main::@2_2: scope:[main]  from main::@2_1
  [7] *((const byte*) main::SCREEN+(byte) 2*(byte) $28) ← (byte) 0
  to:main::@2_3
main::@2_3: scope:[main]  from main::@2_2
  [8] *((const byte*) main::SCREEN+(byte) 3*(byte) $28) ← (byte) 0
  to:main::@2_4
main::@2_4: scope:[main]  from main::@2_3
  [9] *((const byte*) main::SCREEN+(byte) 4*(byte) $28) ← (byte) 0
  to:main::@2_5
main::@2_5: scope:[main]  from main::@2_4
  [10] *((const byte*) main::SCREEN+(byte) 5*(byte) $28) ← (byte) 0
  to:main::@2_6
main::@2_6: scope:[main]  from main::@2_5
  [11] *((const byte*) main::SCREEN+(byte) 6*(byte) $28) ← (byte) 0
  to:main::@2_7
main::@2_7: scope:[main]  from main::@2_6
  [12] *((const byte*) main::SCREEN+(byte) 7*(byte) $28) ← (byte) 0
  to:main::@2_8
main::@2_8: scope:[main]  from main::@2_7
  [13] *((const byte*) main::SCREEN+(byte) 8*(byte) $28) ← (byte) 0
  to:main::@2_9
main::@2_9: scope:[main]  from main::@2_8
  [14] *((const byte*) main::SCREEN+(byte) 9*(byte) $28) ← (byte) 0
  to:main::@2_10
main::@2_10: scope:[main]  from main::@2_9
  [15] *((const byte*) main::SCREEN+(byte) $a*(byte) $28) ← (byte) 0
  to:main::@2_11
main::@2_11: scope:[main]  from main::@2_10
  [16] *((const byte*) main::SCREEN+(byte) 1) ← (byte) 1
  to:main::@2_12
main::@2_12: scope:[main]  from main::@2_11
  [17] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_13
main::@2_13: scope:[main]  from main::@2_12
  [18] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_14
main::@2_14: scope:[main]  from main::@2_13
  [19] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_15
main::@2_15: scope:[main]  from main::@2_14
  [20] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_16
main::@2_16: scope:[main]  from main::@2_15
  [21] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_17
main::@2_17: scope:[main]  from main::@2_16
  [22] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_18
main::@2_18: scope:[main]  from main::@2_17
  [23] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_19
main::@2_19: scope:[main]  from main::@2_18
  [24] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_20
main::@2_20: scope:[main]  from main::@2_19
  [25] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_21
main::@2_21: scope:[main]  from main::@2_20
  [26] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) 1) ← (byte) 1
  to:main::@2_22
main::@2_22: scope:[main]  from main::@2_21
  [27] *((const byte*) main::SCREEN+(byte) 2) ← (byte) 2
  to:main::@2_23
main::@2_23: scope:[main]  from main::@2_22
  [28] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_24
main::@2_24: scope:[main]  from main::@2_23
  [29] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_25
main::@2_25: scope:[main]  from main::@2_24
  [30] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_26
main::@2_26: scope:[main]  from main::@2_25
  [31] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_27
main::@2_27: scope:[main]  from main::@2_26
  [32] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_28
main::@2_28: scope:[main]  from main::@2_27
  [33] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_29
main::@2_29: scope:[main]  from main::@2_28
  [34] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_30
main::@2_30: scope:[main]  from main::@2_29
  [35] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_31
main::@2_31: scope:[main]  from main::@2_30
  [36] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_32
main::@2_32: scope:[main]  from main::@2_31
  [37] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) 2) ← (byte) 2
  to:main::@2_33
main::@2_33: scope:[main]  from main::@2_32
  [38] *((const byte*) main::SCREEN+(byte) 3) ← (byte) 3
  to:main::@2_34
main::@2_34: scope:[main]  from main::@2_33
  [39] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_35
main::@2_35: scope:[main]  from main::@2_34
  [40] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_36
main::@2_36: scope:[main]  from main::@2_35
  [41] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_37
main::@2_37: scope:[main]  from main::@2_36
  [42] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_38
main::@2_38: scope:[main]  from main::@2_37
  [43] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_39
main::@2_39: scope:[main]  from main::@2_38
  [44] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_40
main::@2_40: scope:[main]  from main::@2_39
  [45] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_41
main::@2_41: scope:[main]  from main::@2_40
  [46] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_42
main::@2_42: scope:[main]  from main::@2_41
  [47] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_43
main::@2_43: scope:[main]  from main::@2_42
  [48] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) 3) ← (byte) 3
  to:main::@2_44
main::@2_44: scope:[main]  from main::@2_43
  [49] *((const byte*) main::SCREEN+(byte) 4) ← (byte) 4
  to:main::@2_45
main::@2_45: scope:[main]  from main::@2_44
  [50] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_46
main::@2_46: scope:[main]  from main::@2_45
  [51] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_47
main::@2_47: scope:[main]  from main::@2_46
  [52] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_48
main::@2_48: scope:[main]  from main::@2_47
  [53] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_49
main::@2_49: scope:[main]  from main::@2_48
  [54] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_50
main::@2_50: scope:[main]  from main::@2_49
  [55] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_51
main::@2_51: scope:[main]  from main::@2_50
  [56] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_52
main::@2_52: scope:[main]  from main::@2_51
  [57] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_53
main::@2_53: scope:[main]  from main::@2_52
  [58] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_54
main::@2_54: scope:[main]  from main::@2_53
  [59] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) 4) ← (byte) 4
  to:main::@2_55
main::@2_55: scope:[main]  from main::@2_54
  [60] *((const byte*) main::SCREEN+(byte) 5) ← (byte) 5
  to:main::@2_56
main::@2_56: scope:[main]  from main::@2_55
  [61] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_57
main::@2_57: scope:[main]  from main::@2_56
  [62] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_58
main::@2_58: scope:[main]  from main::@2_57
  [63] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_59
main::@2_59: scope:[main]  from main::@2_58
  [64] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_60
main::@2_60: scope:[main]  from main::@2_59
  [65] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_61
main::@2_61: scope:[main]  from main::@2_60
  [66] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_62
main::@2_62: scope:[main]  from main::@2_61
  [67] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_63
main::@2_63: scope:[main]  from main::@2_62
  [68] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_64
main::@2_64: scope:[main]  from main::@2_63
  [69] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_65
main::@2_65: scope:[main]  from main::@2_64
  [70] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) 5) ← (byte) 5
  to:main::@2_66
main::@2_66: scope:[main]  from main::@2_65
  [71] *((const byte*) main::SCREEN+(byte) 6) ← (byte) 6
  to:main::@2_67
main::@2_67: scope:[main]  from main::@2_66
  [72] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_68
main::@2_68: scope:[main]  from main::@2_67
  [73] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_69
main::@2_69: scope:[main]  from main::@2_68
  [74] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_70
main::@2_70: scope:[main]  from main::@2_69
  [75] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_71
main::@2_71: scope:[main]  from main::@2_70
  [76] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_72
main::@2_72: scope:[main]  from main::@2_71
  [77] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_73
main::@2_73: scope:[main]  from main::@2_72
  [78] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_74
main::@2_74: scope:[main]  from main::@2_73
  [79] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_75
main::@2_75: scope:[main]  from main::@2_74
  [80] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_76
main::@2_76: scope:[main]  from main::@2_75
  [81] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) 6) ← (byte) 6
  to:main::@2_77
main::@2_77: scope:[main]  from main::@2_76
  [82] *((const byte*) main::SCREEN+(byte) 7) ← (byte) 7
  to:main::@2_78
main::@2_78: scope:[main]  from main::@2_77
  [83] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_79
main::@2_79: scope:[main]  from main::@2_78
  [84] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_80
main::@2_80: scope:[main]  from main::@2_79
  [85] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_81
main::@2_81: scope:[main]  from main::@2_80
  [86] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_82
main::@2_82: scope:[main]  from main::@2_81
  [87] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_83
main::@2_83: scope:[main]  from main::@2_82
  [88] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_84
main::@2_84: scope:[main]  from main::@2_83
  [89] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_85
main::@2_85: scope:[main]  from main::@2_84
  [90] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_86
main::@2_86: scope:[main]  from main::@2_85
  [91] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_87
main::@2_87: scope:[main]  from main::@2_86
  [92] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) 7) ← (byte) 7
  to:main::@2_88
main::@2_88: scope:[main]  from main::@2_87
  [93] *((const byte*) main::SCREEN+(byte) 8) ← (byte) 8
  to:main::@2_89
main::@2_89: scope:[main]  from main::@2_88
  [94] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_90
main::@2_90: scope:[main]  from main::@2_89
  [95] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_91
main::@2_91: scope:[main]  from main::@2_90
  [96] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_92
main::@2_92: scope:[main]  from main::@2_91
  [97] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_93
main::@2_93: scope:[main]  from main::@2_92
  [98] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_94
main::@2_94: scope:[main]  from main::@2_93
  [99] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_95
main::@2_95: scope:[main]  from main::@2_94
  [100] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_96
main::@2_96: scope:[main]  from main::@2_95
  [101] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_97
main::@2_97: scope:[main]  from main::@2_96
  [102] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_98
main::@2_98: scope:[main]  from main::@2_97
  [103] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) 8) ← (byte) 8
  to:main::@2_99
main::@2_99: scope:[main]  from main::@2_98
  [104] *((const byte*) main::SCREEN+(byte) 9) ← (byte) 9
  to:main::@2_100
main::@2_100: scope:[main]  from main::@2_99
  [105] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_101
main::@2_101: scope:[main]  from main::@2_100
  [106] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_102
main::@2_102: scope:[main]  from main::@2_101
  [107] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_103
main::@2_103: scope:[main]  from main::@2_102
  [108] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_104
main::@2_104: scope:[main]  from main::@2_103
  [109] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_105
main::@2_105: scope:[main]  from main::@2_104
  [110] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_106
main::@2_106: scope:[main]  from main::@2_105
  [111] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_107
main::@2_107: scope:[main]  from main::@2_106
  [112] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_108
main::@2_108: scope:[main]  from main::@2_107
  [113] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_109
main::@2_109: scope:[main]  from main::@2_108
  [114] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) 9) ← (byte) 9
  to:main::@2_110
main::@2_110: scope:[main]  from main::@2_109
  [115] *((const byte*) main::SCREEN+(byte) $a) ← (byte) $a
  to:main::@2_111
main::@2_111: scope:[main]  from main::@2_110
  [116] *((const byte*) main::SCREEN+(byte) 1*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@2_112
main::@2_112: scope:[main]  from main::@2_111
  [117] *((const byte*) main::SCREEN+(byte) 2*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@2_113
main::@2_113: scope:[main]  from main::@2_112
  [118] *((const byte*) main::SCREEN+(byte) 3*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@2_114
main::@2_114: scope:[main]  from main::@2_113
  [119] *((const byte*) main::SCREEN+(byte) 4*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@2_115
main::@2_115: scope:[main]  from main::@2_114
  [120] *((const byte*) main::SCREEN+(byte) 5*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@2_116
main::@2_116: scope:[main]  from main::@2_115
  [121] *((const byte*) main::SCREEN+(byte) 6*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@2_117
main::@2_117: scope:[main]  from main::@2_116
  [122] *((const byte*) main::SCREEN+(byte) 7*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@2_118
main::@2_118: scope:[main]  from main::@2_117
  [123] *((const byte*) main::SCREEN+(byte) 8*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@2_119
main::@2_119: scope:[main]  from main::@2_118
  [124] *((const byte*) main::SCREEN+(byte) 9*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@2_120
main::@2_120: scope:[main]  from main::@2_119
  [125] *((const byte*) main::SCREEN+(byte) $a*(byte) $28+(byte) $a) ← (byte) $a
  to:main::@return
main::@return: scope:[main]  from main::@2_120
  [126] return 
  to:@return
