we can write this as tctx->temp_buffer.u64 >>= 8;