If we just add tctx->temp_buffer.u64 >>= 16; here we can skip the weird shifting below