0, to: 0x0},  000: {region: 0x0c00, code: 0x00, from: 0xf0000, to: 0x0},  000: {region: 0x0c00, code: 0x000, from: 0xf000e, to: 0x0},  000: {region: 0x0c00, code: 0x00, from: 0xf0000, to: 0x0},  000: {region: 0x0c00, code: 0x0c, from: 0xf