documenting change in ownership of FILE pointer