_FUTEX_ROBUST_HEAD_OFFSET
if (i == _FUTEX_ROBUST_HEAD_OFFSET) {
const long offset = (long)rhead[_FUTEX_ROBUST_HEAD_OFFSET];