Hey Musl Folks, I'm trying to understand the futex robust list and it's not quite working how I would expect it to from a reading of the man pages. In a minimal example, I'm getting the futex changed to FUTEX_OWNER_DIED instead of FUTEX_OWNER_DIED|tid and I'm not getting a FUTEX_WAKE event. Any idea why this might be? Happy to share the minimal example. Thanks for any help, --Leo