# cherry-picked from upstream
