✏️ Editing: stdlib.py