Mirror 0x3f10/0x3f14/0x3f18/0x3f1c to 0x3f00/0x3f04/0x3f08/0x3f0c.  Add
test for this.