- futex uses int as its atomic word type, we pass in user_tid
to the futex routines, so the types must match