GET_32BIT_BIG
xl = GET_32BIT_BIG(data);
xr = GET_32BIT_BIG(data + 4);
xl = GET_32BIT_BIG(data);
xr = GET_32BIT_BIG(data + 4);
xl = GET_32BIT_BIG(data);
xr = GET_32BIT_BIG(data + 4);