miri::shims::unix::thread