LOAD_UINT32_REVERSED
*p = LOAD_UINT32_REVERSED(p);
t = LOAD_UINT32_REVERSED(p+1);
p[1] = LOAD_UINT32_REVERSED(p);