#include <errno.h>

#define EFAULT                                                              (18)

/** Bad address **/
/*
POSIX(1)
*/