final: buffering, with and as, is file closed