Python-agnosticize coverage_dungeon.py.