[lorenzfx]

Especially reading and understanding the "moderately" optimized Python version is a lot harder than reading the C version.

Also I really dislike python optimization tricks like `output = stdout.buffer.write`.