To make clear where the code protected by `opening_log_file` starts and ends.