Rationale: we already depend on it (e.g. some scripts use print_function).
Attach a file by drag & drop or click to upload
