# CONFIG_FAIL_FUTEX is not set