extern int getfd(void);