Some modernization.#1

Open

adishavit wants to merge 3 commits intogranluo:masterfrom

adishavit:master

Commits on Aug 20, 2023

Rename file.
Adi Shavit
committed
Write binary byte format (not `str`).
Adi Shavit
committed
Renaming and auto-formatting.
Adi Shavit
committed