#ifdef DECL_IOCTL
extern int ioctl (int, unsigned long, void *);
#endif