#include int ioctl(int fildes , int request , ... ) { } /* XOPEN(400) */