, to: 0x0},  000: {region: 0x0c00, code: 0x00, from: 0xf0000, to: 0x0},  000: {region: 0x0c00, code: 0x00d, from: 0xf0b00, to: 0x0},  000: {region: 0x0c00, code: 0x0c, from: 0xf0000, to: 0x0},  000: {region: 0x0