soc = stmp3700
0x80004070 = 0x403ee8c0
0x80004060 = 0x4e
0x80004040 = 0x403848b0
0x80004090 = 0x81a00000
0x800040a0 = 0x0
0x80004050 = 0x40384880
0x80004080 = 0x0
0x800040e0 = 0x0
0x800040d0 = 0x0
0x800040b0 = 0x0
0x80004100 = 0xa00000
0x80004110 = 0x0
0x800040c0 = 0x0
0x800040f0 = 0x0
0x80004150 = 0x0
0x80004140 = 0x48
0x80004120 = 0x40391dac
0x80004170 = 0x30a0001e
0x80004180 = 0x0
0x80004130 = 0x0
0x80004160 = 0x0
0x800041c0 = 0x0
0x800041b0 = 0x0
0x80004190 = 0x0
0x800041e0 = 0x0
0x800041f0 = 0x0
0x800041a0 = 0x0
0x800041d0 = 0x0
0x80004230 = 0x0
0x80004220 = 0x0
0x80004200 = 0x0
0x80004250 = 0xa00000
0x80004260 = 0x0
0x80004210 = 0x0
0x80004240 = 0x0
0x800042a0 = 0x0
0x80004290 = 0x0
0x80004270 = 0x0
0x800042c0 = 0xa00000
0x800042d0 = 0x0
0x80004280 = 0x0
0x800042b0 = 0x0
0x80004310 = 0x0
0x80004300 = 0x0
0x800042e0 = 0x0
0x80004330 = 0xa00000
0x80004340 = 0x0
0x800042f0 = 0x0
0x80004320 = 0x0
0x80004380 = 0x0
0x80004370 = 0x0
0x80004350 = 0x0
0x800043a0 = 0xa00000
0x800043b0 = 0x0
0x80004360 = 0x0
0x80004390 = 0x0
0x80004000 = 0xf9f9
0x80004010 = 0x401
0x80004020 = 0x0
0x800043f0 = 0x1010000
0x80024070 = 0x0
0x80024060 = 0x0
0x80024040 = 0x0
0x80024090 = 0xa00000
0x800240a0 = 0x0
0x80024050 = 0x0
0x80024080 = 0x0
0x800240e0 = 0x0
0x800240d0 = 0x0
0x800240b0 = 0x0
0x80024100 = 0xa00000
0x80024110 = 0x0
0x800240c0 = 0x0
0x800240f0 = 0x0
0x80024150 = 0x0
0x80024140 = 0x0
0x80024120 = 0x0
0x80024170 = 0xa00000
0x80024180 = 0x0
0x80024130 = 0x0
0x80024160 = 0x0
0x800241c0 = 0x0
0x800241b0 = 0x0
0x80024190 = 0x0
0x800241e0 = 0xa00000
0x800241f0 = 0x0
0x800241a0 = 0x0
0x800241d0 = 0x0
0x80024230 = 0x0
0x80024220 = 0x0
0x80024200 = 0x0
0x80024250 = 0xa00000
0x80024260 = 0x0
0x80024210 = 0x0
0x80024240 = 0x0
0x800242a0 = 0x0
0x80024290 = 0x0
0x80024270 = 0x0
0x800242c0 = 0xa00000
0x800242d0 = 0x0
0x80024280 = 0x0
0x800242b0 = 0x0
0x80024310 = 0x0
0x80024300 = 0x0
0x800242e0 = 0x0
0x80024330 = 0xa00000
0x80024340 = 0x0
0x800242f0 = 0x0
0x80024320 = 0x0
0x80024380 = 0x0
0x80024370 = 0x0
0x80024350 = 0x0
0x800243a0 = 0xa00000
0x800243b0 = 0x0
0x80024360 = 0x0
0x80024390 = 0x0
0x80024000 = 0x0
0x80024010 = 0x800
0x80024020 = 0x0
0x800243f0 = 0x1010000
0x8004c040 = 0x0
0x8004c020 = 0x10110037
0x8004c050 = 0x1000000
0x8004c030 = 0xfe00fe
0x8004c070 = 0x80000040
0x8004c000 = 0xc00000c0
0x8004c080 = 0x0
0x8004c060 = 0x0
0x8004c010 = 0x80000000
0x800480e0 = 0x80000000
0x80048090 = 0x0
0x800480b0 = 0x0
0x800480c0 = 0x0
0x800480d0 = 0x0
0x80048000 = 0xc0000000
0x80048040 = 0x1
0x80048020 = 0x10110037
0x80048030 = 0x1fe01fe
0x800480f0 = 0x0
0x80048050 = 0x1000c0c
0x80048100 = 0x1404808
0x80048070 = 0x1001111
0x80048080 = 0x0
0x80048060 = 0x0
0x80048010 = 0x80000000
0x800480a0 = 0x0
0x80048200 = 0x1010000
0x800400e0 = 0x1b
0x80040020 = 0x21002
0x800400a0 = 0x10103
0x800400d0 = 0x63a31863
0x80040080 = 0x80000001
0x80040030 = 0x7730002
0x800400b0 = 0xa0040004
0x80040060 = 0xa0000002
0x80040000 = 0x2050000
0x80040010 = 0x800004b1
0x800400f0 = 0x0
0x800400c0 = 0x80000001
0x80040090 = 0x80000000
0x80040070 = 0x5
0x80040100 = 0x2010000
0x80040040 = 0x2
0x80040050 = 0x50000001
0x80028030 = 0x404
0x80028040 = 0x10001
0x80028100 = 0x0
0x80028130 = 0x0
0x80028110 = 0x0
0x80028120 = 0x0
0x80028140 = 0x0
0x80028170 = 0x0
0x80028150 = 0x0
0x80028160 = 0x0
0x80028180 = 0x0
0x800281b0 = 0x0
0x80028190 = 0x0
0x800281a0 = 0x0
0x800281c0 = 0x3d748
0x800281f0 = 0x0
0x800281d0 = 0x0
0x800281e0 = 0x0
0x80028020 = 0x10008
0x80028050 = 0xffff0000
0x80028360 = 0x0
0x80028370 = 0x0
0x80028380 = 0x12a8010
0x80028390 = 0x1980204
0x800283a0 = 0xd00064
0x80028300 = 0x0
0x80028330 = 0x0
0x80028350 = 0x0
0x80028320 = 0x0
0x80028340 = 0x0
0x80028310 = 0x0
0x800283e0 = 0x0
0x800283f0 = 0x0
0x80028000 = 0x30000000
0x80028410 = 0x0
0x80028400 = 0x0
0x80028060 = 0x0
0x80028070 = 0x0
0x80028080 = 0x0
0x80028090 = 0x0
0x800280a0 = 0x0
0x800280b0 = 0x0
0x800280c0 = 0x0
0x800280d0 = 0x0
0x800280e0 = 0x0
0x80028010 = 0x10000000
0x80028420 = 0x1000000
0x8001c330 = 0x0
0x8001c2b0 = 0x333
0x8001c310 = 0x37000006
0x8001c000 = 0x40
0x8001c0e0 = 0x87654321
0x8001c0d0 = 0x789abcde
0x8001c2d0 = 0x0
0x8001c2c0 = 0x0
0x8001c480 = 0x0
0x8001c090 = 0x6acfe1e1
0x8001c0a0 = 0x0
0x8001c020 = 0x3216c050
0x8001c340 = 0x0
0x8001c360 = 0x0
0x8001c350 = 0x0
0x8001c370 = 0x0
0x8001c390 = 0x0
0x8001c380 = 0x0
0x8001c3a0 = 0x0
0x8001c3c0 = 0x0
0x8001c3b0 = 0x0
0x8001c3d0 = 0x0
0x8001c3f0 = 0x0
0x8001c3e0 = 0x0
0x8001c0c0 = 0x17058c5
0x8001c400 = 0x0
0x8001c4a0 = 0x0
0x8001c4b0 = 0x0
0x8001c4c0 = 0x0
0x8001c4d0 = 0x0
0x8001c4e0 = 0x0
0x8001c4f0 = 0x0
0x8001c410 = 0x1
0x8001c420 = 0x2
0x8001c430 = 0x3
0x8001c440 = 0x4
0x8001c450 = 0x5
0x8001c460 = 0x6
0x8001c470 = 0x7
0x8001c480 = 0x0
0x8001c490 = 0x0
0x8001c0f0 = 0x0
0x8001c110 = 0x0
0x8001c120 = 0x0
0x8001c1b0 = 0x0
0x8001c1c0 = 0x0
0x8001c1d0 = 0x0
0x8001c1e0 = 0x0
0x8001c130 = 0x0
0x8001c140 = 0x0
0x8001c150 = 0x0
0x8001c160 = 0x0
0x8001c170 = 0x0
0x8001c180 = 0x0
0x8001c190 = 0x0
0x8001c1a0 = 0x0
0x8001c030 = 0x300
0x8001c040 = 0x0
0x8001c050 = 0x2
0x8001c290 = 0x13
0x8001c2a0 = 0x87822
0x8001c300 = 0x6d676953
0x8001c0b0 = 0x20000
0x8001c010 = 0xf0000000
0x8001c060 = 0xa5a5a5a5
0x800e0000 = 0x1010001
0x800e0004 = 0x10100
0x800e0008 = 0x101
0x800e000c = 0x1
0x800e0010 = 0x10101
0x800e0014 = 0x1
0x800e0018 = 0x10000
0x800e001c = 0x1000001
0x800e0020 = 0x1010000
0x800e0024 = 0x1
0x800e0028 = 0x7000200
0x800e002c = 0x4070303
0x800e0030 = 0x2020002
0x800e0034 = 0x6060a02
0x800e0038 = 0xd000201
0x800e003c = 0x305000d
0x800e0040 = 0x2000000
0x800e0044 = 0x2328080a
0x800e0048 = 0x1f1f1c00
0x800e004c = 0x27f1515
0x800e0050 = 0x3061715
0x800e0054 = 0x9
0x800e0058 = 0x80008
0x800e005c = 0x200020
0x800e0060 = 0x200020
0x800e0064 = 0x200020
0x800e0068 = 0x3a1
0x800e006c = 0x0
0x800e0070 = 0x0
0x800e0074 = 0x0
0x800e0078 = 0x0
0x800e007c = 0x0
0x800e0080 = 0xf20ca
0x800e0084 = 0x2041000f
0x800e0088 = 0x5dca
0x800e008c = 0x0
0x800e0090 = 0x101
0x800e0094 = 0x1
0x800e0098 = 0x600000
0x800e009c = 0x0
0x800e00a0 = 0x40000
0x80074000 = 0xc0010000
0x80074030 = 0x0
0x80074040 = 0x0
0x80074050 = 0x0
0x80074020 = 0x80000000
0x80074010 = 0x80010
0x80074060 = 0x1010000
0x80008080 = 0x38434345
0x80008000 = 0xe0000000
0x80008070 = 0x0
0x80008050 = 0x0
0x80008040 = 0x0
0x80008060 = 0x0
0x80008030 = 0x0
0x80008010 = 0xfc10
0x80008020 = 0xcccccccc
0x800080a0 = 0x1000000
0x80020000 = 0x40
0x80020030 = 0x0
0x80020090 = 0x0
0x800200a0 = 0x0
0x800200b0 = 0x0
0x800200c0 = 0x0
0x80020080 = 0x0
0x80020010 = 0xe0000000
0x80020020 = 0x1010f01
0x800200f0 = 0x1010000
0x8003c3d0 = 0x11a58
0x8003c3e0 = 0x11a58
0x8003c3f0 = 0x11a58
0x8003c400 = 0x11a58
0x8003c410 = 0x11a58
0x8003c420 = 0x11a58
0x8003c430 = 0x11a58
0x8003c440 = 0x11a58
0x8003c450 = 0x11a58
0x8003c460 = 0x11a58
0x8003c470 = 0x11a58
0x8003c480 = 0x11a58
0x8003c300 = 0x11a58
0x8003c380 = 0x11a58
0x8003c340 = 0x11a58
0x8003c310 = 0x11a58
0x8003c390 = 0x11a58
0x8003c350 = 0x11a58
0x8003c320 = 0x11a58
0x8003c3a0 = 0x11a58
0x8003c360 = 0x11a58
0x8003c330 = 0x11a58
0x8003c3b0 = 0x11a58
0x8003c370 = 0x11a58
0x8003c3c0 = 0x11a58
0x8000c050 = 0x0
0x8000c010 = 0x0
0x8000c000 = 0xc0000000
0x8000c060 = 0x4
0x8000c0a0 = 0x0
0x8000c0c0 = 0x40000000
0x8000c030 = 0x0
0x8000c020 = 0x0
0x8000c040 = 0x0
0x8000c0b0 = 0x80000020
0x8000c070 = 0x10203
0x8000c080 = 0x0
0x8000c090 = 0x9020101
0x8000c0d0 = 0x2000000
0x80058000 = 0x0
0x80058040 = 0x862000
0x80058060 = 0x0
0x80058070 = 0x100000
0x80058080 = 0xc0000000
0x80058050 = 0xc0000000
0x80058010 = 0x780030
0x80058020 = 0x800030
0x80058030 = 0x10000fe
0x80058090 = 0x1010000
0x80000020 = 0xb0000
0x800001a0 = 0x0
0x80000180 = 0xeca94567
0x80000190 = 0x1356da98
0x800001b0 = 0x0
0x800001c0 = 0x10000
0x80000170 = 0x10110004
0x80000010 = 0x0
0x80000060 = 0x4040000
0x80000070 = 0x0
0x80000100 = 0x0
0x80000110 = 0x4
0x80000120 = 0x4
0x80000130 = 0x0
0x80000140 = 0x0
0x80000150 = 0x0
0x80000080 = 0x0
0x80000090 = 0x0
0x800000a0 = 0x400
0x800000b0 = 0x40004
0x800000c0 = 0x4040000
0x800000d0 = 0x0
0x800000e0 = 0x0
0x800000f0 = 0x0
0x80000040 = 0x2
0x80000050 = 0x11000
0x80000030 = 0x30
0x80000160 = 0x11998
0x80000000 = 0x11a58
0x800001d0 = 0x2000000
0x80078000 = 0xc0000000
0x80078050 = 0x0
0x80078030 = 0x0
0x80078090 = 0x0
0x80078040 = 0x0
0x80078020 = 0x0
0x80078080 = 0x0
0x80078060 = 0x80000000
0x80078070 = 0x0
0x80078010 = 0x0
0x800780a0 = 0x1010000
0x80030000 = 0x40af0000
0x80030010 = 0x72101
0x800300b0 = 0x0
0x800300e0 = 0x2e040000
0x80030070 = 0x0
0x80030080 = 0x0
0x80030090 = 0x0
0x800300a0 = 0x0
0x800300c0 = 0xd1000000
0x80030020 = 0x0
0x80030030 = 0x23000f0
0x80030040 = 0x1000f4
0x80030050 = 0x41ee3c0
0x80030060 = 0x1018003
0x800300d0 = 0x2000000
0x80050050 = 0x80000d45
0x80050060 = 0x8000038c
0x80050070 = 0x80000cb7
0x80050080 = 0x80000d49
0x80050090 = 0x80000d4d
0x800500a0 = 0x80000d19
0x800500b0 = 0x80000d9d
0x800500c0 = 0x80000888
0x80050130 = 0x1201ee
0x80050000 = 0x0
0x80050010 = 0x8000ff
0x80050020 = 0x3d008220
0x80050030 = 0x0
0x80050140 = 0x76543210
0x80050110 = 0x43210000
0x80050120 = 0x0
0x800500d0 = 0xff000014
0x800500e0 = 0x0
0x800500f0 = 0x0
0x80050100 = 0x0
0x80050040 = 0x7ff0000
0x80050150 = 0x1010000
0x8002c060 = 0xbadabada
0x8002c070 = 0xbadabada
0x8002c080 = 0xbadabada
0x8002c090 = 0xbadabada
0x8002c000 = 0x200
0x8002c020 = 0xbadabada
0x8002c030 = 0xbadabada
0x8002c040 = 0xbadabada
0x8002c050 = 0xbadabada
0x8002c110 = 0x0
0x8002c010 = 0x0
0x8002c0a0 = 0x0
0x8002c0b0 = 0x0
0x8002c0c0 = 0x4000
0x8002c0d0 = 0x0
0x8002c0e0 = 0x0
0x8002c0f0 = 0x0
0x8002c120 = 0xc0880150
0x8002c130 = 0xbadabada
0x8002c140 = 0xbadabada
0x8002c150 = 0xbadabada
0x8002c160 = 0xbadabada
0x8002c1a0 = 0xbadabada
0x8002c1b0 = 0xbadabada
0x8002c1c0 = 0xbadabada
0x8002c1d0 = 0xbadabada
0x8002c1e0 = 0xbadabada
0x8002c1f0 = 0xbadabada
0x8002c200 = 0xbadabada
0x8002c210 = 0xbadabada
0x8002c100 = 0x8
0x8002c170 = 0xbadabada
0x8002c180 = 0xbadabada
0x8002c190 = 0xbadabada
0x8002c220 = 0x1010000
0x80018000 = 0x1c000000
0x80018500 = 0x1008fe
0x80018510 = 0x0
0x80018520 = 0x8000deea
0x80018600 = 0x0
0x80018610 = 0x1100
0x80018620 = 0x8008
0x80018400 = 0x0
0x80018410 = 0x0
0x80018420 = 0x8000
0x80018200 = 0x44444444
0x80018210 = 0x44444444
0x800182a0 = 0x0
0x800182b0 = 0x0
0x800182c0 = 0x0
0x800182d0 = 0x0
0x800182e0 = 0x110000
0x80018220 = 0x44444444
0x80018230 = 0x444444
0x80018240 = 0x44444444
0x80018250 = 0x44444444
0x80018260 = 0x44444444
0x80018270 = 0x44444
0x80018280 = 0x44444444
0x80018290 = 0x44400004
0x80018800 = 0x0
0x80018810 = 0x10000000
0x80018820 = 0x0
0x80018900 = 0x0
0x80018910 = 0x0
0x80018920 = 0x0
0x80018a00 = 0x0
0x80018a10 = 0x0
0x80018a20 = 0x0
0x80018b00 = 0x0
0x80018b10 = 0x0
0x80018b20 = 0x0
0x80018100 = 0xffffffab
0x80018110 = 0xfffbebf
0x80018120 = 0xffffffff
0x80018130 = 0x3ffffff
0x80018140 = 0xec03c33e
0x80018150 = 0x0
0x80018160 = 0x0
0x80018170 = 0x0
0x80018700 = 0x0
0x80018710 = 0x10000000
0x80018720 = 0x0
0x80018300 = 0x10000e
0x80018310 = 0x0
0x80018320 = 0x4000
0x80018330 = 0xffff
0x80044010 = 0x455
0x800440d0 = 0x1ee006c
0x80044030 = 0x7
0x80044000 = 0x468ab1
0x80044070 = 0x5800d8
0x80044090 = 0x4305f
0x800440f0 = 0xe
0x800440a0 = 0x163021
0x80044020 = 0x0
0x80044080 = 0x0
0x800440e0 = 0x3e770002
0x80044100 = 0x0
0x800440c0 = 0xfb0000
0x800440b0 = 0x8003871e
0x80044050 = 0x270a
0x80044040 = 0x20610
0x80044060 = 0x270c
0x80044110 = 0x2000000
0x80064010 = 0x0
0x80064030 = 0x0
0x80064050 = 0x0
0x80064070 = 0x1f40195
0x80064090 = 0x0
0x80064000 = 0x3e000008
0x80064020 = 0x0
0x80064040 = 0x0
0x80064060 = 0x0
0x80064080 = 0x6b01f4
0x800640a0 = 0x0
0x800640b0 = 0x1010000
0x8005c040 = 0x4f9797db
0x8005c000 = 0xa
0x8005c0c0 = 0x0
0x8005c020 = 0x5e32
0x8005c060 = 0x121
0x8005c070 = 0x0
0x8005c080 = 0x0
0x8005c090 = 0x0
0x8005c0a0 = 0x0
0x8005c0b0 = 0x0
0x8005c030 = 0x5020db9c
0x8005c010 = 0xe0000000
0x8005c0d0 = 0x2000000
0x8005c050 = 0xffffffff
0x80042000 = 0xc0000000
0x80042020 = 0x0
0x80042010 = 0x80000000
0x80042030 = 0x1000000
0x80046000 = 0xc0000000
0x80046020 = 0x0
0x80046010 = 0x80000000
0x80046030 = 0x1000000
0x80054000 = 0xc0000020
0x80054050 = 0x0
0x80054040 = 0x1
0x80054020 = 0x20000
0x80054030 = 0x10000000
0x80054010 = 0x80000000
0x80054060 = 0x1010000
0x80010010 = 0x0
0x80010020 = 0x0
0x80010040 = 0x0
0x80010030 = 0x0
0x80010000 = 0xc0000001
0x80010060 = 0x200080
0x80010070 = 0x42220028
0x80010100 = 0x200
0x80010080 = 0x0
0x80010090 = 0x1003091b
0x800100a0 = 0x20b7264
0x800100b0 = 0x8020250c
0x800100c0 = 0xe0000020
0x80010050 = 0x0
0x80010110 = 0x2000000
0x80034010 = 0x10000d
0x80034020 = 0x12340000
0x80034040 = 0x0
0x80034030 = 0x0
0x80034000 = 0x630000
0x80034060 = 0x15612273
0x80034070 = 0xa4f80490
0x80034100 = 0x3ff
0x80034080 = 0x900
0x80034090 = 0xb550eb3b
0x800340a0 = 0x3dc2c543
0x800340b0 = 0x57c37a8a
0x800340c0 = 0xe0040020
0x80034050 = 0xfff0200
0x80034110 = 0x2000000
0x80068010 = 0x0
0x80068000 = 0xfe000000
0x80068030 = 0x0
0x80068050 = 0x0
0x80068070 = 0x0
0x80068090 = 0x0
0x80068020 = 0x0
0x80068040 = 0x0
0x80068060 = 0x0
0x80068080 = 0x0
0x800680a0 = 0x1010000
0x8006c000 = 0xc0030000
0x8006c010 = 0x0
0x8006c020 = 0x220300
0x8006c060 = 0x0
0x8006c080 = 0x0
0x8006c050 = 0x0
0x8006c030 = 0x0
0x8006c040 = 0x0
0x8006c070 = 0xd9f00000
0x8006c090 = 0x2000000
0x8006e000 = 0x0
0x8006e010 = 0x0
0x8006e020 = 0x0
0x8006e060 = 0x0
0x8006e080 = 0x0
0x8006e050 = 0x0
0x8006e030 = 0x0
0x8006e040 = 0x0
0x8006e070 = 0x0
0x8006e090 = 0x0
0x80070030 = 0x301
0x80070048 = 0x0
0x80070000 = 0x500
0x80070028 = 0x4
0x80070018 = 0xc1
0x80070024 = 0x27
0x80070044 = 0x0
0x80070034 = 0x12
0x80070020 = 0x0
0x80070038 = 0x0
0x8007002c = 0x60
0x80070040 = 0x0
0x8007003c = 0x2bd
0x80070004 = 0x0
0x80080158 = 0x3000
0x80080160 = 0x1010
0x80080100 = 0x1000040
0x80080180 = 0x1
0x80080150 = 0x0
0x80080124 = 0x185
0x80080120 = 0x1
0x8008000c = 0xb
0x800801bc = 0x0
0x800801c0 = 0x800080
0x800801c4 = 0x880088
0x800801c8 = 0x8c008c
0x800801cc = 0x0
0x800801d0 = 0x0
0x800801b4 = 0x0
0x800801b0 = 0x0
0x800801ac = 0x0
0x800801b8 = 0x0
0x80080178 = 0x10001
0x8008017c = 0x0
0x8008014c = 0x2b21
0x80080004 = 0x15
0x80080108 = 0x6
0x80080104 = 0x10011
0x80080008 = 0x10020001
0x80080000 = 0x42fa05
0x800801a4 = 0x202e20
0x80080154 = 0x14000000
0x80080184 = 0x18000205
0x80080014 = 0x610
0x8008015c = 0x0
0x8008001c = 0x0
0x80080018 = 0x0
0x80080010 = 0x80050810
0x80080164 = 0x0
0x80080168 = 0x0
0x80080170 = 0x0
0x80080140 = 0x80001
0x80080148 = 0x0
0x800801a8 = 0x2
0x80080144 = 0x1c4
0x80080174 = 0x0
0x8007c030 = 0x20000001
0x8007c050 = 0x7f180000
0x8007c060 = 0x900d
0x8007c070 = 0x1000
0x8007c000 = 0x0
0x8007c020 = 0x0
0x8007c040 = 0x0
0x8007c010 = 0x10060607
0x8007c080 = 0x2010000