Tcl_GetOpenFile(3tcl) on Linux

The text 0dd023ffc98a, as Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.

Get a standard IO File * handle from a channel. (Unix only)