../deps/v8/tools/utils.py