stdio.h

// Copyright (c) 1999-2018 David Muse
// See the COPYING file for more information.
 
        public:
                stdiofiledescriptor(int32_t fd);
                ~stdiofiledescriptor();