We should pass `file` down to the `terminal_size` function here.