wldrd   wr1, [r0, #3]
        wstrd   wr1, [r0, #0x400]