PEP-35: The v0 Optimization, LeanPocket