revlog-formatv0.py #1