if file_struct /= (``NULL''::Addr) then
{-
A distinction is made here between std{Input,Output,Error} Fds
and all others. The standard descriptors have a finaliser
that will not close the underlying fd, the others have one
if file_struct /= (``NULL''::Addr) then
{-
A distinction is made here between std{Input,Output,Error} Fds
and all others. The standard descriptors have a finaliser
that will not close the underlying fd, the others have one