Add get-size.py.