There's no need to default file to sys.stdout -- print(file=None) already

selects sys.stdout.