Implemented (rough) `formatter.py`