renamed mandarch.py to coverage.py
re-formatted and renamed to coverage.py