import sys
save_stderr = sys.stderr
file = open('error.txt', 'w')
sys.stderr = file
a = 5 / 0
sys.stderr = save_stderr
file.close()

1d1c71d952f3dd4791aa2adb38ec20cf7e1d3511
<mask token>

<mask token>
file.close()

<mask token>
save_stderr = sys.stderr
file = open('error.txt', 'w')
sys.stderr = file
a = 5 / 0
sys.stderr = save_stderr
file.close()

import sys
save_stderr = sys.stderr
file = open('error.txt', 'w')
sys.stderr = file
a = 5 / 0
sys.stderr = save_stderr
file.close()
