✏️ Editing: constant_time.py