#include <errno.h>

#define EBADF                                                               (13)

/** Bad file descriptor **/
/*
POSIX(1)
*/